AU  - Manaster,Alfred B..
TI  - Completeness, Compactness, And Undecidability / 
U1  - 511.3 
PY  - 1975///
CY  - N.Delhi
PB  - Prentice Hall Of India Pvt Ltd , 
KW  - Mathematics
N1  - NULL
ER  -