メモ貼る

https://sites.google.com/site/sendailogichomepage/
Sendai Logic Homepage
仙台ロジック倶楽部
東北大学 大学院理学研究科 数学専攻 田中一之 Outreach

http://www.math.tohoku.ac.jp/~tanaka/tanahome.html
東北大学 数学基礎論セミナー　Sendai Logic Seminar
田中一之 教授
2011年7月15日改訂

http://www.math.tohoku.ac.jp/~tanaka/
Kazuyuki Tanaka
Mathematical Institute, Tohoku University
Last modified on July 16, 2011