Completeness, compactness, and undercidability : an introduction to mathematical logic - Manaster, Alfred B. (Prentice Hall, 1975)