KAKUDA, NAMBA, MOTOHASHI, 1997. The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.. https://doi.org/10.4288/jafpos1956.9.95