Completeness,comactness,and undecidability an introduction to mathematical logic - Manaster Alfred B (N J Prentice-Hall, 1975)
Keywords: Mathematical logic; Predicate calculus