Completeness, compactness, and undecidability : an introduction to mathematical logic - Manaster, Alfred B. , 1938- (Englewood Cliffs : Prentice-Hall, 1975)
Library has 2 cops.
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical; Predicate calculus