TY  - BOOK
AU  - Manaster,Alfred B.
TI  - Completeness, compactness, and undecidability: an introduction to mathematical logic 
SN  - 0131646249 :
U1  - 164 
PY  - 1975///
CY  - Englewood Cliffs
PB  - Prentice-Hall
KW  - Logic, Symbolic and mathematical
KW  - Predicate calculus
N1  - Library has 2 cops; Includes bibliographical references and index
ER  -