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

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a Bot: References című szakasz
a Visszavontam FoBeBot (vita) szerkesztését (oldid: 13710412): felesleges
131. sor:
* [[Gödel's incompleteness theorem]]
 
== ForrásokReferences ==
* [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.