竹内外史
『現代集合論入門』
『集合とはなにか : はじめて学ぶ人のために』
『線型論理入門』
『数学から物理学へ』
『無限小解析と物理学』
『リー代数と素粒子論』
『ゲーデル』
『数学的世界観 - 現代数学の思想と展望』
『数学基礎論の世界』
『直観主義的集合論』
『層・圏・トポス 現代的集合像を求めて』
『線型代数と量子力学』
『証明論と計算量』
『数理論理学 語の問題』
『証明論入門』(八杉満利子と共著)
Proof Theory, Studies in Logic and the Foundations of Mathematics, Vol. 81
Two Applications of Logic to Mathematics
Introduction to Axiomatic Set Theory、シュプリンガー・フェアラーク