TY  - BOOK
AU  - Manaster, Alfred
TI  - Completeness, Compactness, and Undecidability : An Introduction to Mathematical Logic
PY  - 1978///
CY  - New Delhi
PB  - Prentice-Hall of India
ER  -