Recent News

• Graduate-level Logic Course by Prof. Tanaka will start on Oct. 27.
  See the following page for more information:
  https://www.bimsa.cn/newsinfo/749634.html
  Registration forms are here:
  https://www.bimsa.cn/newsinfo/750373.html
  Also, welcome to our WeChat group.

• A Newspaper Guide to the Incompleteness Theorems
  Access here (in Japanese).

Logic Seminars at the Math Institute

• https://sites.google.com/view/sendai-logic/

Logic Workshops in/out Sendai

• CTFM
• SLS

Kazuyuki Tanaka

• https://sendailogic.com/tanaka

Recent News