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