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).