Memoirs of a proof theorist Gödel and other logicians / - Takeuti, Gaisi, (World Scientific,)