■

• Paul C. Gilmore　　“Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes,”　in: The Journal of Symbolic Logic, vol. 51, no. 2, 1986
• Louise Schmir Hay　　“Axiomatization of the Infinite-Valued Predicate Calculus,” in: The Journal Symbolic Logic, vol. 28, no. 1, 1963
• 『哲学論叢』、京都大学哲学論叢刊行会編、第35号、2008年