TY  - GEN
AU  - Bell,J.L
AU  - Machover,Moshé
TI  - A course in mathematical logic
SN  - 0720428440
U1  - 511/.3 
PY  - 1977///
CY  - Amsterdam, New York
PB  - North-Holland Pub. Co, sole distributors for the U.S.A. and Canada American Elsevier Pub. Co
KW  - Logic, Symbolic and mathematical
N1  - Includes indexes
UR  - http://www.loc.gov/catdir/enhancements/fy0601/75033890-d.html
ER  -