- Alexander Leitsch and Matthias Baaz Methods of Cut-Elimination, Springer, Trends in Logic, vol. 34, Due in January 2011
- Leon Horsten and Richard Pettigrew ed. The Continuum Companion to Philosophical Logic, Continuum, Continuum Companions Series, Due in May 2011
一つ目は重要な話題を扱った書籍。買っておいた方がいいと思う。しかしお金がない。しかし買っておいた方がいいのだろうな。
二つ目は一つ目と違ってよくある類いの本に見える。この種のものはいくつか既に持っていたように思う。だから改めて買うべきなのか、ちょっと考え中。まぁ、買っておいた方がいいのだろうけれど。