• 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

最後の、Russell の文庫本は既に持っている。弘文堂版さえ持っているのだが、持っている文庫本の方が、だいぶ擦れてきている。だからきれいな本があればもう一つ入手しておきたいと考えていた。そんなところできれいなのがあったので入手。