„Elsőrendű logika” változatai közötti eltérés

* [[Gödel's incompleteness theorem]]

 

* [http://plato.stanford.edu/entries/logic-classical/ Article on classical logic] by Stewart Shapiro at the [[Stanford Enclyclopedia of Philosophy]], which covers the definition, model theory and soundness and completness results for first-order logic characterised in a natural deduction style.

* [http://www.ltn.lv/~podnieks/ Introduction to mathematical logic] by Karl Podnieks.