TY  - BOOK
AU  - Bell,J.L.
AU  - M.Machover
TI  - A Course in mathematuical logic
SN  - 0720428440
AV  - MATH HF5635.T42 
PY  - 1977///
CY  - Amsterdam
PB  -  : North-Holland Publishing Company
KW  - Logic
KW  - symbolic and mathematical
N1  - Bibliography: p.576-583
ER  -