164 MANASTER, ALFRED B COMPLETENESS COMPACTNESS AND UNDECIDABILITY ; AN INTRODUCTION TO MATHEMATICAL LOGIC / / A. B. MANASTER. - NEW DELHI: : PRENTICE HALL,, 1978. vi,154 P. * MATHEMATICAL LOGOC.