MANASTER A B COMPLETENESS, COMPACTNESS AND UNDECIDABILITY - NEW DELHI PRENTICE-HALL OF INDIA 1978 - 160 Dewey Class. No.: 511.3 N75 MAN