TY  - BOOK
AU  - Bell, John I
AU  - Machover, Moshe
TI  - A course in mathematical logic
PB  - North-Holland
ER  -