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

a
Visszavontam FoBeBot (vita) szerkesztését (oldid: 13710412): felesleges
a (Bot: References című szakasz)
a (Visszavontam FoBeBot (vita) szerkesztését (oldid: 13710412): felesleges)
* [[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.
20 238

szerkesztés