Terence Parsons “Russell's Early Views on Denoting,” in David F. Austin ed., Philosophical Analysis: A Defense by Example, Kluwer Academic Publishers, Philosophical Studies Series, vol. 39, 1988 David Kaplan “Words,” in: Proceedings of the…

Stephen Cook and Phuong Nguyen Logical Foundations of Proof Complexity, Cambridge University Press, Perspectives in Logic Series, 2010 このような新刊が出ていることを、昨日まで知らなかった。という訳で、本日注文しておきました。