Manaster, Alfred B Completeness, Compactness and Indecidability Introduction to Mathematical Logic - New Delhi Prentice Hall 1978 - vi,154p. 24 cm. PB Dewey Class. No.: 511.3 / MAN