TY  - BOOK
AU  - Bell, John Lane
AU  - Machover, M.
TI  - A COURSE IN MATHEMATICAL LOGIC
U1  - 511.3 
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical
N1  - Bibliography : P. 576-583
ER  -