TY - BOOK AU - Manaster, Alfred B. TI - Completeness, compactness and Undecidability: an introduction to mathematical logic U1 - 510 PY - 1978/// CY - New Delhi PB - Prentice-Hall of India KW - MATHAMATICS ER -