| b0241 | n4139 | 4-b2253-178985-b | 集合とはなにか | 竹内外史 | 講談社 | ブルーバックスB0298 | [書誌] |
| c3041 | n4102 | 4-535-78155-9 | ゲーデル | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 4-06-257332-6 | 集合とはなにか〔新装版〕 | 竹内外史 | 講談社 | ブルーバックスB | [書誌] |
| c | n | 4-314-00316-2 | 直観主義的集合論 | 竹内外史 | 紀伊国屋書店 | 紀伊国屋数学叢書 20 | [書誌] |
| c | n | 4-535-78214-8 | 線型論理入門 | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 4-535-78229-6 | PとNP | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 4-535-78259-8 | ゲーデル〔新版〕 | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 4-7853-1096-0 | 証明論と計算量 | 竹内外史 | 裳華房 | - | [書誌] |
| c | n | 4-7952-6894-0 | 無限小解析と物理学〔第2版〕 | 竹内外史 | 星雲社 | （遊星社） | [書誌] |
| c | n | 4-87999-961-X | ゲーデルの夢 | 竹内外史 | 河合出版 | 河合ブックレット数学シリーズ 12 | [書誌] |
| c | n | 9784062573320 | 集合とはなにか〔新装版〕 | 竹内外史 | 講談社 | ブルーバックスB | [書誌] |
| c | n | 9784314003162 | 直観主義的集合論 | 竹内外史 | 紀伊国屋書店 | 紀伊国屋数学叢書 20 | [書誌] |
| c | n | 9784535782143 | 線型論理入門 | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 9784535782297 | PとNP | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 9784535782594 | ゲーデル〔新版〕 | 竹内外史 | 日本評論社 | - | [書誌] |
| c | n | 9784785310967 | 証明論と計算量 | 竹内外史 | 裳華房 | - | [書誌] |
| c | n | 9784795268944 | 無限小解析と物理学〔第2版〕 | 竹内外史 | 星雲社 | （遊星社） | [書誌] |
| c | n | 9784879999610 | ゲーデルの夢 | 竹内外史 | 河合出版 | 河合ブックレット数学シリーズ 12 | [書誌] |
| c3041 | n4102 | 4-535-78155-9 | ゲーデル | 竹内外史 | 日本評論社 | - | [書誌] |
| c3041 | n4102 | 9784535781559 | ゲーデル | 竹内外史 | 日本評論社 | - | [書誌] |
| c3041 | n4102 | 9784535781559 | ゲーデル | 竹内外史 | 日本評論社 | - | [書誌] |
|
2000年・
2001年・
2002年・
2003年・
2004年 2005年・ 2006年・ 2007年・ 2008年・ 2009年 2010年・ 2011年・ 2012年・ 2013年・ 2014年 2015年・ 2016年・ |