Completness, compactness and undecidability an introduction to mathematical logic - Manaster Alfred B (1975)
Keywords: PHILOSOPHY