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