TY  - BOOK
AU  - Manaster, Alfred B
TI  - Completeness, Compactness and Indecidability: Introduction to Mathematical Logic
U1  - 511.3 
PY  - 1978///
CY  - New Delhi
PB  - Prentice Hall
ER  -