TY  - BOOK
AU  - Enderton,Herbert B.
TI  - A mathematical introduction to logic
SN  - 9780080496467
AV  - QA9 .E54 2001eb
U1  - 511/.3 22
PY  - 2001///
CY  - San Diego
PB  - Harcourt/Academic Press
KW  - Logic, Symbolic and mathematical
KW  - Logique symbolique et mathématique
KW  - MATHEMATICS
KW  - Infinity
KW  - bisacsh
KW  - Logic
KW  - fast
KW  - Wiskundige logica
KW  - gtt
KW  - Symbolische logica
KW  - Electronic books
N1  - Includes bibliographical references (pages 307-308) and index; USEFUL FACTS ABOUT SETS.<br>SENTENTIAL LOGIC.<br>FIRST-ORDER LOGIC.<br>UNDECIDABILITY.<br>SECOND-ORDER LOGIC.<br>
ER  -