Mathematical logic - Ebbinghaus, Heinz D (springer verlag, 1984)