Completeness compactness and undecidability An introduction to mathematical logic - Manaster, Alfred B. (Prentice Hall, 1978)