TY  - BOOK
AU  - MANASTER, ALFRED B
TI  - COMPLETENESS COMPACTNESS AND UNDECIDABILITY ; AN INTRODUCTION TO MATHEMATICAL LOGIC / 
U1  - 164 
PY  - 1978///
CY  - NEW DELHI
PB  - PRENTICE HALL
KW  - MATHEMATICAL LOGOC
ER  -