Completeness,compactness and undecidability an introduction to mathematical logic - Manaster,Alfred B (Prentice Hall of India, 1978)