TY  - BOOK
AU  - Bell,John L.
AU  - Machover,Moshé
TI  - A Course in mathematical logic
SN  - 0-7204-2844-0
U1  - 511.3 21E
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland Publishing
N1  - Bibliogr. p. 576-583
ER  -