TY  - BOOK
AU  - Enderton,Herbert B.
TI  - A mathematical introduction to logic
SN  - 0122384504
AV  - QA9 .E54 1972
U1  - 511/.3 18
PY  - 1972///]
CY  - New York
PB  - Academic Press
KW  - Logic, Symbolic and mathematical
KW  - Logique symbolique et mathématique
KW  - Logica
KW  - gtt
KW  - ram
KW  - décidabilité
KW  - inriac
KW  - logique 1er ordre
KW  - logique mathématique
KW  - logique séquentielle
N1  - Includes index
UR  - http://www.archive.org/details/mathematicalintr00ende
UR  - http://www.openlibrary.org/books/OL4771502M
ER  -