| 1 |
現代集合論入門 / 竹内外史著
増補版. - 東京 : 日本評論社 , 1989.12
|
| 2 |
証明論入門 / 竹内外史, 八杉満利子共著
東京 : 共立出版 , 1988.2
|
| 3 |
Proof theory / Gaisi Takeuti
: U.S,U.S. - 2nd ed. - Amsterdam : North-Holland , 1987
|
| 4 |
ゲーデル / 竹内外史著
東京 : 日本評論社 , 1986.11
|
| 5 |
無限小解析と物理学 / 竹内外史著
東京 : 遊星社. - 東京 : 星雲社(発売) , 1985.10
|
| 6 |
リー代数と素粒子論 / 竹内外史著
東京 : 裳華房 , 1983.11
|
| 7 |
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
東京 : 紀伊國屋書店 , 1982.2
|
| 8 |
Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring
: us,: gw. - 2nd ed. - New York : Springer-Verlag , c1982
|
| 9 |
線形代数と量子力学 / 竹内外史著
東京 : 裳華房 , 1981.3
|
| 10 |
直観主義的集合論 / 竹内外史著
東京 : 紀伊国屋書店 , 1980.12
|
| 11 |
数学から物理学へ / 竹内外史著
東京 : 日本評論社 , 1979.3
|
| 12 |
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
東京 : 日本評論社 , 1978.1
|
| 13 |
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
東京 : 講談社 , 1976.9
|
| 14 |
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4
|
| 15 |
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
|
