ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版 [単行本]

不完全性定理とはなにか 完全版―ゲーデルとチューリング 天才はなにを証明したのか(ブルーバックス) [新書]

ゲーデルの悪霊たち―論理学と狂気 [単行本]

ゲーデル 不完全性定理(岩波文庫) [文庫]

不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか（講談社） [電子書籍]

ゲーデルの哲学―不完全性定理と神の存在論(講談社現代新書) [新書]

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ [単行本]

ロジカル・ディレンマ―ゲーデルの生涯と不完全性定理 [単行本]

クルト・ゲーデル―史上最もスキャンダラスな定理を証明した男 [単行本]

数学ガール／ゲーデルの不完全性定理（SBクリエイティブ） [電子書籍]

スマリヤンのゲーデル・パズル―論理パズルから不完全性定理へ [単行本]

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ （技術評論社） [電子書籍]

ゲーデルの世界―その生涯と論理 [単行本]

ゲーデルの哲学 不完全性定理と神の存在論（講談社） [電子書籍]

不完全性定理とはなにか―ゲーデルとチューリングの考えたこと(ブルーバックス) [新書]

ノイマン・ゲーデル・チューリング（筑摩書房） [電子書籍]

今度こそわかるゲーデル不完全性定理 （講談社） [電子書籍]

不完全性定理と算術の体系(ゲーデルと20世紀の論理学〈3〉) [全集叢書]

ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 [全集叢書]

ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 [全集叢書]

ゲーデルに挑む―証明不可能なことの証明 [単行本]

数学ガール ゲーデルの不完全性定理 1（KADOKAWA） [電子書籍]

数学ガール ゲーデルの不完全性定理 2（KADOKAWA） [電子書籍]

ゲーデル 不完全性発見への道(双書〈6〉―大数学者の数学) [単行本]

スマリヤンの決定不能の論理パズル―ゲーデルの定理と様相理論 [単行本]

ゲーデルと20世紀の論理学(ロジック)〈4〉集合論とプラトニズム [全集叢書]

リーディングス 数学の哲学―ゲーデル以後 [単行本]

論理と計算のしくみ 新装版 [単行本]

教養としてのAI講義 [単行本]

考える機械たち―歴史、仕組み、倫理-そして、AIは意思をもつのか? [単行本]

プログラミング言語の形式的意味論入門 [単行本]

教養としてのAI講義 ビジネスパーソンも知っておくべき「人工知能」の基礎知識（日経BP社） [電子書籍]

無限論の教室(講談社現代新書) [新書]

不完全性定理―数学的体系のあゆみ(ちくま学芸文庫) [文庫]

数学基礎論序説-数の体系への論理的アプローチ [単行本]

眠れなくなるほど面白い 図解 認知バイアス [単行本]

数学ガール/リーマン予想 [単行本]

まったくゼロからの論理学 [単行本]

数理論理学 [単行本]

Newton別冊　科学名著図鑑 第２巻(Newton別冊) [ムックその他]

理性の限界―不可能性・不確定性・不完全性(講談社現代新書) [新書]

ヤバい数学者(王様文庫) [文庫]

数学における証明と真理―様相論理と数学基礎論 [単行本]

哲学的な何か、あと数学とか(二見文庫) [文庫]

数理論理学(現代基礎数学〈15〉) [全集叢書]

フォン・ノイマンの哲学―人間のフリをした悪魔(講談社現代新書) [新書]

知性の限界―不可測性・不確実性・不可知性(講談社現代新書) [新書]

記憶は実在するか―ナラティブの脳科学 [単行本]