Late Nishida and Dialetheism, 2017. ,
Deepening Japan-China Relation by Thinking and Dialogue: Role of Philosophy Bridging over the Boundaries, Proceedings of the 5th Philosophy Forum of Japan and China, pp.359-385 ,
Institute of Humanities ,
Die Widerspruchsfreiheit der reinen Zahlentheorie, Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, vol.39, pp.494-565, 1935. ,
, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge, vol.4, pp.19-44, 1969.
Letter of Gödel to Bernays, eds. Kurt Gödel Collected Works, vol.IV: Correspondence A-G, pp.270-273, 1969. ,
From Frege to Gödel: A Source Book in Mathematical Logic, pp.1879-1931, 1967. ,
Grundlagen der Mathematik. I, Foundations of Mathematics I, v.1. pt, vol.1, 1968. ,
,
English translation by Stefan Bauer-Mengelberg in Heijenoort, Mathematische Annalen, vol.95, pp.485-94, 1926. ,
Shizensuron (The Theory of Natural Numbers): Kawade Shobo, 1951. ,
, From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, 1998.
Zen No Kenkyu (An Inquiry into the Good): Kodo Kan. translated into English under the title An Inquiry into the Good by, Jikaku Ni Okeru Chokkan To Hansei, 1911. ,
, Iwanami Shoten. translated into English under the title Intuition and Reflection in Self-Consciousness by, SUNY Series in Philosophy, 1987.
, Ronri to Suuri (Logic and Mathematics), 1947.
The Collected Papers of Gerhard Gentzen, 55 of Studies in Logic and the Foundations of Mathematics, 1969. ,
, Kegonkyo ni miryousareta suugakusya Suetsuna Joichi (Mathematician Suetsuna Joichi fascinated by Kegonkyo),' Gendai Mikkyo, vol.22, pp.135-152, 2011.
Keishikisyugi no tachiba kara II (From the point of view of formalism II),' Kagakukisoron Kenkyu, Proof Theory, 81 of Studies in Logic and the Foundations of Mathematics, Amsterdam, vol.23, pp.255-263, 1953. ,