Editing First-order logic (section)

==External links==
* {{springer|title=Predicate calculus|id=p/p074360}}
* [[Stanford Encyclopedia of Philosophy]]: Shapiro, Stewart; "[http://plato.stanford.edu/entries/logic-classical/ Classical Logic]". Covers syntax, model theory, and metatheory for first-order logic in the natural deduction style.
* Magnus, P. D.; ''[http://www.fecundity.com/logic/ forall x: an introduction to formal logic]''. Covers formal semantics and proof theory for first-order logic.
* [http://us.metamath.org/index.html Metamath]: an ongoing online project to reconstruct mathematics as a huge first-order theory, using first-order logic and the axiomatic set theory ZFC. ''[[Principia Mathematica]]'' modernized.
* Podnieks, Karl; ''[http://www.ltn.lv/~podnieks/ Introduction to mathematical logic]''
* [http://john.fremlin.de/schoolwork/logic/index.html Cambridge Mathematical Tripos notes] (typeset by John Fremlin). These notes cover part of a past [[Mathematical Tripos|Cambridge Mathematical Tripos]] course taught to undergraduate students (usually) within their third year. The course is entitled "Logic, Computation and Set Theory" and covers Ordinals and cardinals, Posets and Zorn's Lemma, Propositional logic, Predicate logic, Set theory and Consistency issues related to ZFC and other set theories.
* [http://www.umsu.de/logik/trees/ Tree Proof Generator] can validate or invalidate formulas of first-order logic through the [[semantic tableaux]] method.

{{Mathematical logic}}

{{DEFAULTSORT:First-Order Logic}}
[[Category:Systems of formal logic]]
[[Category:Predicate logic]]
[[Category:Model theory]]