Completeness, compactness, and undecidability an introduction to mathematical logic - Manaster, Alfred B. (Englewood Cliffs, NJ Prentice-Hall, 1975)
Keywords: Logic, Symbolic and mathematical; Predicate calculus