TY  - BOOK
AU  - Manaster, Alfred B.
TI  - Completeness, compactness, and undecidability: an introduction to mathematical logic
SN  - 0131646249
U1  - 511.3 
PY  - 1975///
CY  - New Jersey
PB  - Prentice-Hall Inc.
ER  -