Mathmetical logic - Ebbinghaus, H.-D. (New York springer-verlag, 1994)