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