TY  - BOOK
TI  - Introduction to mathematical logic
SN  - 0000442253079
U1  - 510.6 
PB  - New York : Van Nostrand
KW  - Mathematics : logic
ER  -