Mathematical Logic. - Eddinghaus H D; Flum J (New York Springer Verlag, 1984)