Memoirs of a Proof Theorist : Gödel and Other Logicians - Takeuti, Gaisi (World Scientific)