Recent News
- The first International Congress of Basic Science (ICBS), 16~28 July, 2023, Beijing, China. https://www.icbs.cn/.
- 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
Logic Workshops in/out Sendai
Kazuyuki Tanaka