TY  - GEN
AU  - Bell, J. L.
AU  - Machover, M. 
TI  - A course in mathematical logic
SN  - 0720428440
U1  - 511.3 BEL 
PY  - 1977///
CY  - Armsterdam : 
PB  - Elsevier Science
KW  - Mathematical logic
N1  - Bibliography and index
ER  -