■

• P.Mosses, Action Semantics, Cambridge Tracts in Theoretical Computer Science 26, Cambridge UP, £30. 表示意味論と操作意味論の中間に位置するプログラム意味論。1992年刊のペーパーバック。
• A.Martinich & D.Sosa (eds.), A Companion to Analytic Philosophy, Blackwell, £19.99. ペーパーバック。ダメットとか何書いてるんだろう。
• B.Löwe, B.Piwinger & T.Räsch (eds.), Classical and New Paradigms of Computation and their Complexity Hierarchies, Trends in Logic 23, Springer, €112.35. 2001年の計算量コンファレンスの記録。量子計算と無限計算へ。
• D.Kolak, I Am You, Synthese Library 325, Springer, €299. 倫理の基礎としての自己知、自己同一性。