"Memoirs of a proof theorist: Goedel and other logicians" - читать интересную книгу автора (Gaisi Takeuti, Nicholas Passell, Mariko Yasugi)