First Page | Document Content | |
---|---|---|
Date: 2005-09-22 07:33:29Logic Mathematics Abstraction Model theory Formal languages Metalogic Mathematical logic Interpretation Compactness theorem Well-formed formula Constructible universe IP | REPORTS IN INFORMATICS ISSNAdd to Reading ListSource URL: www.ii.uib.noDownload Document from Source WebsiteFile Size: 307,83 KBShare Document on Facebook |