1.

図書
図書
1. 不完全性定理の理解のために
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻
2.

図書
図書
2. チューリングと超 (メタ) パズル : 解ける問題と解けない問題
田中一之著
出版情報: 東京 : 東京大学出版会, 2013.11
3.

図書
図書
3. 数学者が読んでいる本ってどんな本
小谷元子編 ; 砂田利一 [ほか] 選
出版情報: 東京 : 東京図書, 2013.10
4.

図書
図書
4. 不完全性定理の先へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
5.

図書
図書
5. ロジックの世界 : 論理学の哲人たちがあなたの思考を変える
ダン・クライアン, シャロン・シュアティル文 ; ビル・メイブリン絵 ; 田中一之訳
出版情報: 東京 : 講談社, 2015.3
シリーズ名: ブルーバックス ; B-1906
6.

図書
図書
6. 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics
田中一之著
出版情報: 東京 : 裳華房, 2019.6
7.

図書
図書
7. 逆数学 : 定理から公理を「証明」する
ジョン・スティルウェル著 ; 川辺治之訳
出版情報: 東京 : 森北出版, 2019.2
8.

図書
図書
8. 集合論とプラトニズム
田中一之編
出版情報: 東京 : 東京大学出版会, 2007.7
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4
9.

図書
図書
9. ゲーデルの20世紀
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.7
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1
10.

図書
図書
10. 不完全性定理と算術の体系
田中一之編
出版情報: 東京 : 東京大学出版会, 2007.3
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3