TY  - BOOK
AU  - Smullyan, Raymond M.
TI  - Beginner's guide to mathematical logic (a)
SN  - 9780486492377
U1  - 511.3 
PY  - 2014///
CY  - New York
PB  - Dover publications
KW  - INFINITE SETS
KW  - PEANO ARITHMETIC
KW  - FIRST - ORDER  LOGIC
KW  - MATHEMATICAL INDUCTION
KW  - DENUMERABLE SETS
ER  -