"Memoirs of a Proof Theorist: Gödel and Other Logicians" - читать интересную книгу автора (Gaisi Takeuti, Nicholas Passell, Mariko Yasugi)