昨年度は、M1の学生の数理論理学を学ぶゼミを手伝って、まあ、定番の教科書を選びました。Mathematical Logic (Undergraduate Texts in Mathematics)作者: H.-D. Ebbinghaus,J. Flum,Wolfgang Thomas出版社/メーカー: Springer発売日: 1996/12/01メディア: …

話題のHP 2133を職場で買おうと思ったら、販売終了だそうで。後継モデルを八月中に販売ということで、次の出張には間に合いませんな。