■

以下の本が来年1月に出る予定なので注文する。

• Dag Prawitz　Natural Deduction: A Proof-theoretical Study

とても有名な本で私もcopyで持っていますが製本せず、ファイリングしてあるだけなので、やはり本としてほしく注文。Doverものなので安い。