TY  - BOOK
AU  - Bell J L
AU  -  Machover M
TI  - Course in mathematical logic
U1  - R14, L7 
PY  - 1977///
ER  -