TY  - BOOK
AU  - Mendelson, E
AU  - Rosen, KH
TI  - Introduction to mathematical logic
SN  - 9781584888765
U1  - 510.65 
PY  - 2010///
CY  - Boca raton
PB  - CRC
KW  - LOGIC, SYMBOLIC MATHEMATICA
KW  - AXIOMATIC SET-THEORY
ER  -