| title | ISBN-13 | year of publication |
|---|---|---|
| ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系 geーderuto20seikinoronrigaku 3 fukanzenseiteiritosanjutsunotaikei | 978-4-13-064097-8 | 2007 |
| ゲーデルと20世紀の論理学 4 集合論とプラトニズム geーderuto20seikinoronrigaku 4 shuugourontopuratonizumu | 978-4-13-064098-5 | 2007 |
| ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 geーderuto20seikinoronrigaku(rojikku)〈1〉geーderuno20seiki | 978-4-13-064095-4 | 2006 |
| ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 geーderuto20seikinoronrigaku(rojikku)〈2〉kanzenseiteiritomoderuriron | 978-4-13-064096-1 | 2006 |
| ゲーデルに挑む: 証明不可能なことの証明 geーderuniidomu: shoumeifukanounakotonoshoumei | 978-4-13-063900-2 | 2012 |