Completeness, Compactness and unddecidability; An introduction to mathematical logic. - Manaster, Alfred B (Prentice-Hall of India, 1975)