数理論理学―使い方と考え方:超準解析の入口まで/江田勝哉

数理論理学―使い方と考え方:超準解析の入口まで/江田勝哉著/内田老鶴圃
Amazon.co.jp
内田老鶴圃
ついに数理論理学の本が出版できた（著者による紹介）

出版社から職場に届いたダイレクトメールで知りました．
まだ本の内容は見ていませんが，この本で学部4年の卒研ゼミをやってみたい気がします．