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

→‎References: kisebb formai javítások,
(Bot: <references /> cseréje {{források}}-ra)
a (→‎References: kisebb formai javítások,)
* [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.
247 461