"Mathematical logic" - читать интересную книгу автора (Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas)