Completeness, compactness and undecidability an introduction to mathematical logic
Manaster, Alfred Berry.
Englewood Cliffs London Prentice-Hall
1975
Bibliography: p.149-150. - Includes index
Logic, Symbolic and mathematical.