TY  - BOOK
AU  - Bell, J
AU  - Machover, M
TI  - Course in mathematical logic
SN  - 0720428440
U1  - 510.6 
PY  - 1997///
CY  - Amsterdam
PB  - Elsevier
KW  - LOGIC
N1  - Ref. sec
ER  -