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