TY  - BOOK
AU  - Mendelson,Elliott
TI  - Introduction to mathematical logic
T2  - Textbooks in mathematics
SN  - 9781482237726
AV  - QA9 
U1  - 511.3 
PY  - 2015///
CY  - Boca Raton, Fla. [u.a.]
PB  - CRC Press, 
KW  - Einführung
KW  - gnd
KW  - Mathematische Logik
KW  - Logic, Symbolic and mathematical
KW  - ლოგიკა
KW  - მათემატიკური ლოგიკა - შესავალი
KW  - სიმბოლური ლოგიკა
KW  - ალგორითმები
KW  - სახელმძღვანელოები
N1  - Includes index; Literaturverz.:  S. 451 - 466
UR  - http://zbmath.org/?q=an:1314.03001
ER  -