| | 書誌事項 |
1 | | 数学のロジックと集合論 / 田中一之, 鈴木登志雄共著. -- 培風館, 2003. |
2 | | ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳. -- みすず書房, 2011. |
3 | | ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著. -- 東京大学出版会, 2012. |
4 | | 確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳. -- 培風館, 2007. |
5 | | チューリングと超 (メタ) パズル : 解ける問題と解けない問題 / 田中一之著. -- 東京大学出版会, 2013. |
6 | | 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著. -- 裳華房, 2019. |
7 | | 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵. -- 日本評論社, 2019. |
8 | | 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2017. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻). |
9 | | スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2017. |
10 | | 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳. -- 日本評論社, 2018. -- (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻). |
| | 書誌事項 |