TY  - BOOK
AU  - Manaster, Alfred B.
TI  - Completeness, compactness and undecidability: an introduction to mathematical logic
SN  - NA
U1  - 511.3 
PY  - 1978///
CY  - New Delhi
PB  - Prentice Hall of India Private Limited
KW  - Logic, Symbolic and mathematical
KW  - Predicate calculus
N1  - Donated by Dr. Belmannu Devadas Acharya; Includes bibliographical references and index
ER  -