洋書
- Francine F. Abeles, Mark E. Fuller eds. Modern Logic 1850-1950, East and West, Birkhäuser/Springer, Studies in Universal Logic, 2016
和書
- ケネス・キューネン 『キューネン数学基礎論講義』、藤田博司訳、日本評論社、2016年
- 中里成章 『パル判事 インド・ナショナリズムと東京裁判』、岩波新書、新赤版1293, 岩波書店、2011年
- 福嶋伸洋 『リオデジャネイロに降る雪 祭りと郷愁をめぐる断想』、岩波書店、2016年
論文
- Neil Tennant ''Proof and Paradox,'' in: Dialectica, vol. 36, nos. 2-3, 1982
- Lars Hallnäs ''Partial Inductive Definitions,'' in: Theoretical Computer Science, vol. 87, no. 1, 1991
- Per Kreuger ''Axioms in Definitional Calculi,'' in Roy Dyckhoff ed., Extensions of Logic Programming, 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993, Proceedings, Springer, Lecture Notes in Computer Science, vol. 798, 1994
- Peter Schroeder-Heister ''On the Notion of Assumption in Logical Systems,'' in R. Bluhm and C. Nimtz eds., Selected Papers Contributed to the Sections of GAP.5: Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22–26 September 2003, Mentis Verlag, 2004
- Peter Schroeder-Heister ''Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning,'' fothcoming in Topoi, vol. 31, no. 1, 2012