![Propositional calculus / Predicate logic / Automated theorem proving / Model theory / First-order logic / Metamath / Function / Substitution / Axiom / Logic / Mathematical logic / Mathematics Propositional calculus / Predicate logic / Automated theorem proving / Model theory / First-order logic / Metamath / Function / Substitution / Axiom / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/6f88e620ee248699ae182852df716d0e.jpg) Date: 2014-06-27 17:40:55Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics | | A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal LoAdd to Reading ListSource URL: de.metamath.orgDownload Document from Source Website File Size: 321,49 KBShare Document on Facebook
|