再帰関数論の定評ある入門書。素晴らしい本だった。何をどこまで説明して、何を説明しないかや、議論のポイントの示し方がとてもうまい。無味乾燥と言われがちな再帰関数論だが、すんなりと理解できる。不完全性定理も再帰集合の話を介してやれば、当たり前…

Jean-Yves Beziau (ed.), Logica Universalis: Towards a General Theory of Logic, Springer, €49.90.-Dov Gabbay & Sergei Goncharov & Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic II: Logics for the XXIst Century, Sprin…