Manaster Alfred B Compleeness,compactness,and undecidability An introduction to mathematical logic. Manaster Alfred B - New Delhi Prentice Hall 1975 - 154p. cm. Standard No.: 46668 Source: Textual Dewey Class. No.: R14, L5