![Model theory / Mathematical logic / Formal languages / Predicate logic / Metalogic / First-order logic / Principia Mathematica / Interpretation / Well-formed formula / Lambda calculus / Constructible universe / Structure Model theory / Mathematical logic / Formal languages / Predicate logic / Metalogic / First-order logic / Principia Mathematica / Interpretation / Well-formed formula / Lambda calculus / Constructible universe / Structure](https://www.pdfsearch.io/img/56fcc8fc390ba4daa05b2275026e5a00.jpg) Date: 2016-07-11 03:14:21Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure | | Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford UniversityAdd to Reading ListSource URL: www.peoppenheimer.orgDownload Document from Source Website File Size: 409,98 KBShare Document on Facebook
|