1.

図書
図書
1. 数学基礎論
前原昭二, 竹内外史著
出版情報: 東京 : 筑摩書房, 2017.1
シリーズ名: ちくま学芸文庫 ; [マ-41-1]
2.

図書
図書
2. 証明論入門. 復刊
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 2010.6
3.

図書
図書
3. ゲーデル
竹内外史著
出版情報: 東京 : 日本評論社, 1986.11
4.

図書
図書
4. 直観主義的集合論
竹内外史著
出版情報: 東京 : 紀伊国屋書店, 1980.12
シリーズ名: 紀伊國屋数学叢書 ; 20
5.

図書
図書
5. 数学的世界観 : 現代数学の思想と展望
竹内外史著
出版情報: 東京 : 紀伊國屋書店, 1982.2
6.

図書
図書
6. 現代集合論入門
竹内外史著
出版情報: 東京 : 日本評論社, 1971
シリーズ名: 日評数学選書
7.

図書
図書
7. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
8.

図書
図書
8. 層・圏・トポス : 現代的集合像を求めて
竹内外史著
出版情報: 東京 : 日本評論社, 1978.1
9.

図書
図書
9. 無限小解析と物理学
竹内外史著
出版情報: 東京 : 遊星社 , 東京 : 星雲社(発売), 1985.10
10.

図書
図書
10. リー代数と素粒子論
竹内外史著
出版情報: 東京 : 裳華房, 1983.11