TY  - BOOK
AU  - Manaster, Alfred B.
TI  - Completeness compactness and undecidability: An introduction to mathematical logic 
PY  - 1978///
CY  - New Delhi
PB  - Prentice Hall
ER  -