ゲーデルの不完全性定理の頂を踏む [単行本]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

公理的集合論への一歩―無限についてのおはなし(数学セミナーライブラリー) [単行本]

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

計算できるもの、計算できないもの―実践的アプローチによる計算理論入門 [単行本]

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

「知」の欺瞞―ポストモダン思想における科学の濫用(岩波現代文庫) [文庫]

未来から来た男 ジョン・フォン・ノイマン [単行本]

現代論理学 新装版 [単行本]

万物の理論としての圏論 [単行本]

不完全性定理 ──数学的体系のあゆみ（筑摩書房） [電子書籍]

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

πの話(岩波現代文庫) [文庫]

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

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

チューリングの大聖堂〈下〉―コンピュータの創造とデジタル世界の到来(ハヤカワ・ノンフィクション文庫"数理を愉しむ"シリーズ) [文庫]

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

宇宙とは何か(SB新書) [新書]

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

しくみの内側のしくみ―思考する手仕事のレシピ [単行本]

宇宙とは何か（SBクリエイティブ） [電子書籍]

魔法先生ネギま！ 29（少年マガジンコミックス） [電子書籍]

この世界は不完全すぎる（4）（講談社） [電子書籍]

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

数理論理学 [単行本]

ヒルベルトの23問題に挑んだ数学者たち [単行本]