TY  - GEN
AU  - Mendelson, Elliott
TI  - Introduction to mathematical logic
T2  - Discrete mathematics and its applications
SN  - 9781584888765
PY  - 2010///
CY  - Boca Raton
PB  - CRC
KW  - First-order logic and model theory
KW  - Axiomatic set theory
KW  - Number theory
ER  -