TY  - BOOK
AU  - Manaster,A.B.
TI  - Completeness,compactness and undecidability
T2  - Introduction to mathematical logic
PY  - 1975///
CY  - New Jersey
PB  - Prentice -Hall
ER  -