Mathematical logic / - Ebbinghaus, Heinz-Dieter, (Springer-Verlag,, 1994)