TY - BOOK AU - MANASTER A B TI - COMPLETENESS, COMPACTNESS AND UNDECIDABILITY U1 - 511.3 N75 MAN PY - 1978/// CY - NEW DELHI PB - PRENTICE-HALL OF INDIA ER -