1
|
図書
|
チューリングと超(メタ)パズル 解ける問題と解けない問題
|
田中 一之/著
|
東京大学出版会
|
2013/11
|
410.79
|
○
|
|
2
|
図書
|
ロジックの世界 論理学の哲人たちがあなたの思考を変える ブルーバックス B-1906
|
ダン・クライアン/文
|
講談社
|
2015/03
|
116
|
○
|
|
3
|
図書
|
スマリヤン数理論理学講義 上巻 不完全性定理の理解のために
|
レイモンド・M.スマリヤン/著
|
日本評論社
|
2017/09
|
410.96
|
○
|
|
4
|
図書
|
スマリヤン数理論理学講義 下巻 不完全性定理の先へ
|
レイモンド・M.スマリヤン/著
|
日本評論社
|
2018/09
|
410.96
|
○
|
|
5
|
図書
|
逆数学 定理から公理を「証明」する
|
ジョン・スティルウェル/著
|
森北出版
|
2019/02
|
410.9
|
○
|
|
6
|
図書
|
山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌
|
田中 一之/著
|
日本評論社
|
2019/12
|
410.9
|
○
|
|
7
|
図書
|
ゲーデルと20世紀の論理学(ロジック) 3 不完全性定理と算術の体系
|
田中 一之/編
|
東京大学出版会
|
2007/03
|
410.9
|
○
|
|
8
|
図書
|
ゲーデルと20世紀の論理学(ロジック) 4 集合論とプラトニズム
|
田中 一之/編
|
東京大学出版会
|
2007/07
|
410.9
|
○
|
|