- Michel Parigot ''λμ-Calculus: An Algorithmic Interpretation of Classical Natural Deduction,'' in A. Voronkov ed., Logic Programming and Automated Reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, 624, 1992
- Dov M. Gabbay and Ruy J. G. B. de Queiroz ''Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics,'' in: The Journal of Symbolic Logic, vol. 57, no. 4, 1992
- W. A. Howard ''[Review of] Jean-Yves Girard, Paul Taylor, and Yves Lafont. Proofs and Types. Cambridge Tracts in Theoretical Computer Science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp.,'' in: The Journal of Symbolic Logic, vol. 56, no. 2, 1991
- Øystein Linnebo ''[Review of] Kit Fine, The Limits of Abstraction,'' in: Australasian Journal of Philosophy, vol. 82, no. 4, 2004
- 渕野昌 「不完全性定理以降の数学」、『数学セミナー』、2012年1月号
- 蓮尾一郎 「圏論の歩き方 モナドのクライスリ圏 圏論による一般化とは?」、『数学セミナー』、2012年1月号
- 足立恒雄 「フレーゲ、デデキント、ペアノを読む 現代における算術の成立、第9回 デデキント その4,フレーゲ その1」、『数学セミナー』、2012年1月号
- ラッセル 『數理哲學序説』、平野智治訳、岩波文庫、岩波書店、1954年 (古書)
最後の、Russell の文庫本は既に持っている。弘文堂版さえ持っているのだが、持っている文庫本の方が、だいぶ擦れてきている。だからきれいな本があればもう一つ入手しておきたいと考えていた。そんなところできれいなのがあったので入手。