Completeness, compactness, and undecidability : an introduction to mathematical logic - Manaster, Alfred B., 1938- (Englewood Cliffs, N.J. : Prentice-Hall, 1975)
Bibliography : p. 149-150
Keywords: Logic, Symbolic and mathematical; Predicate calculus