TY  - BOOK
AU  - Manaster, Alfred B.
TI  - COMPLETENESS COMPACTNESS AND UNDECIDABILITY
U1  - 511.3 
PY  - 1975///
CY  - Englewood Cliiffs
PB  - Prentice-Hall
KW  - Logic, Symbolic And Mathematical
ER  -