First Page | Document Content | |
---|---|---|
![]() Date: 2008-01-31 17:11:12Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic | Add to Reading List |