■
の英訳が2003年に出ていたことをThat Logic Blogで今さらながら知った。ところでこのblogはいいblogですよ。
- Gaisi Takeuchi, Mariko Yasugi & Nicholas Passell (trans.), Memoirs of a Proof Theorist: Gödel and Other Logicians, World Scientific Publishing, 2003.
の英訳が2003年に出ていたことをThat Logic Blogで今さらながら知った。ところでこのblogはいいblogですよ。