Mathematical logic - Flum, Jörg; Ebbinghaus, Heinz-Dieter; Thomas, Wolfgang (rz1, 1984)