『数理論理学』入手前の期待（書評ではない）

数理論理学 (現代基礎数学)

目次を見ると、完全性定理と不完全性定理とカット除去定理が三つとも載っているようです。そんな教科書を待っていました。

2009年10月30日追記：献本いただきました。ちゃんと読んでから本業のページに書評を書きます。