AU  - Manaster,Alfred B..
TI  - Completeness, compactness, and undecidability: an introduction to mathematical logic 
U1  - 511.3 
PY  - 1975///
CY  - N.Delhi
PB  - Prentice hall of India pvt ltd , 
KW  - Mathematics
ER  -