TY  - BOOK
AU  - Mendelson, Elliott
TI  - Introduction to mathematical logic
SN  - 9781584888765
CY  - New york
KW  - Logic
KW  - symbolic and mathematical
N1  - Series editor Rosen, H. Kenneth
ER  -