First Page | Document Content | |
---|---|---|
![]() Date: 2004-11-11 10:41:14Metalogic Logical syntax Mathematical logic First-order logic Interpretation Well-formed formula Symbol Term algebra Ground expression Logic Model theory Formal languages | Source URL: aszt.inf.elte.huDownload Document from Source WebsiteFile Size: 137,78 KBShare Document on Facebook |