TY  - BOOK
AU  - Elliott Mendelson
TI  - Introduction to mathematical logic
SN  - 9781460000000
U1  -  511.3/MEN 
PY  - 1998///
CY  - California
PB  - Wadsworth Inc. Belmont
ER  -