Sendai Logic - 仙台ロジック
Mathematical Institute, Graduate School of Science, Tohoku University
A Newspaper Guide to the Incompleteness Theorems
Access here
(in Japanese).
Pages
Kazuyuki Tanaka's CV
Publications
Books
CTFM
SLS