Manaster Alfred B Completness, compactness and undecidability an introduction to mathematical logic Manaster Alfred B - 1975 Standard No.: 64,580 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14, L5