| 数学基礎論
著者：前原昭二 / 竹内外史 出版社：筑摩書房 ( 2017年01月10日頃 ) 価格：1,100円 ISBN13：9784480097637 | |
| 新装版 集合とはなにか
著者：竹内外史 出版社：講談社 ( 2001年05月18日頃 ) 価格：1,100円 ISBN13：9784062573320 | |
| 現代集合論入門増補版
著者：竹内外史 出版社：日本評論社 ( 1989年12月 ) 価格：4,950円 ISBN13：9784535601161 | |
|
| 数学的世界観
著者：竹内外史 出版社：紀伊國屋書店 ( 1982年02月 ) 価格：1,980円 ISBN13：9784314003841 | |
| 復刊 証明論入門
著者：竹内外史 / 八杉満利子 出版社：共立出版 ( 2010年06月10日頃 ) 価格：3,850円 ISBN13：9784320019355 | |
| リー代数と素粒子論
著者：竹内外史 出版社：裳華房 ( 1983年11月30日頃 ) 価格：5,170円 ISBN13：9784785310387 | |
| ゲ-デル新版
著者：竹内外史 出版社：日本評論社 ( 1998年09月 ) 価格：2,640円 ISBN13：9784535782594 | |
|
| 層・圏・トポス
著者：竹内外史 出版社：日本評論社 ( 1978年01月 ) 価格：4,070円 ISBN13：9784535781092 | |
|
| 数学基礎論の世界
著者：竹内外史 出版社：日本評論社 ( 1972年 ) 価格：4,180円 ISBN13：9784535781269 | |
| 線形代数と量子力学
著者：竹内外史 出版社：裳華房 ( 1981年03月05日頃 ) 価格：4,070円 ISBN13：9784785311261 | |
|
| 無限小解析と物理学
著者：竹内外史 出版社：遊星社 ( 1985年10月 ) 価格：2,860円 ISBN13：9784795268548 | |
|
| ゲ-デルの夢
著者：竹内外史 出版社：河合出版 ( 1990年08月01日頃 ) 価格：1,496円 ISBN13：9784879999610 | |
|
| 数学から物理学へ
著者：竹内外史 出版社：日本評論社 ( 1979年03月 ) 価格：4,620円 ISBN13：9784535781276 | |
|
| OD＞直観主義的集合論OD版
著者：竹内外史（1926-） 出版社：紀伊國屋書店 ( 2008年11月 ) 価格：8,140円 ISBN13：9784314701235 | |
|
| 直観主義的集合論
著者：竹内外史 出版社：紀伊國屋書店 ( 1980年12月 ) 価格：5,767円 ISBN13：9784314003162 | |
|
| ゲ-デル
著者：竹内外史 出版社：日本評論社 ( 1986年11月 ) 価格：1,760円 ISBN13：9784535781559 | |
| 証明論入門
著者：竹内外史 / 八杉満利子 出版社：共立出版 ( 1988年02月01日頃 ) 価格：3,080円 ISBN13：9784320014060 | |
|
| 線型論理入門
著者：竹内外史 出版社：日本評論社 ( 1995年01月20日頃 ) 価格：4,070円 ISBN13：9784535782143 | |
|
| PとNP
著者：竹内外史 出版社：日本評論社 ( 1996年09月 ) 価格：4,620円 ISBN13：9784535782297 | |
| 無限小解析と物理学第2版
著者：竹内外史 出版社：遊星社 ( 2001年05月 ) 価格：3,520円 ISBN13：9784795268944 | |
|
| 集合とはなにか
著者：竹内外史 出版社：講談社 ( 1982年08月 ) 価格：616円 ISBN13：9784061178984 | |
| 証明論と計算量
著者：竹内外史 出版社：裳華房 ( 1995年11月10日頃 ) 価格：3,850円 ISBN13：9784785310967 |