TY  - BOOK
AU  - Bell, John Lane
AU  - Machover, M.
TI  - A course in mathematical logic
SN  - 0720428440
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Logic, Symbolic and mathematical
N1  - Includes indexes; Bibliography: p. 576-583
ER  -