Completeness: compactness and undecidability: an introduction to mathematical logic - Manaster, Alfred B (1978)