„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 |
FoBe (vitalap | szerkesztései) |
||
131. sor:
* [[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.
|