Recent News

• Graduate-level Course "Logic and Computation II" by Prof. Tanaka will start on March 7. See the following page for more information: https://bimsa.net:10000/activity/logcomII/ 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