Gödel's Incompleteness Theorems Oxford Logic Guides 19
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
「科学朝日」 54巻3号(639号) 特集・「不完全性定理」って何だ 「ゲーデルの不思議世界」
不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか <ブルーバックス>
ゲーデルと20世紀の論理学 1-4 ①ゲーデルの20世紀②完全性定理とモデル理論③不完全性定理と算術の体系④集合論とプラトニズム <ゲーデルと20世紀の論理学>
Gödel, ESCHER, BACH An Eternal Golden Braid
数学基礎論 ちくま学芸文庫 < Math & Science マ41-1>
ウィトゲンシュタイン : 没後60年、ほんとうに哲学するために <Kawade道の手帖 哲学入門>
ウィトゲンシュタイン : 没後60年、ほんとうに哲学するために <Kawade道の手帖 哲学入門>
【英語洋書】 不完全な宇宙:全体性、知識、そして真実 『The incomplete universe : totality, knowledge, and truth』
【英語洋書】 不完全な宇宙:全体性、知識、そして真実 『The incomplete universe : totality, knowledge, and truth』
認知科学への招待 : チューリングとウィトゲンシュタインを道しるべに
認知科学への招待 : チューリングとウィトゲンシュタインを道しるべに
Prodiges et vertiges de l'analogie
ジャック・ブーヴレス 著 ; 宮代康丈 訳、新書館、2003.7
218p 20cm
4403230962
ウィトゲンシュタイン : 没後60年、ほんとうに哲学するために <Kawade道の手帖 哲学入門>
[鬼界彰夫ほか執筆]、河出書房新社、2011.6
191p 21cm
978-4-309-74039-3
利用と誤用の不完全ガイド Godel's Theorem
トルケル・フランセーン [著] ; 田中一之 訳、みすず書房、2011.3
241p 22cm
978-4-622-07569-1
Gödel's proof 数学から超数学へ
E.ナーゲル, J.R.ニューマン 著 ; 林一 訳、白揚社、1999.3
170p 19cm
4826900872
THE GODELIAN PUZZLE BOOK 論理パズルから不完全性定理へ Sumariyan no gederu pazuru
レイモンド・M・スマリヤン 著 ; 川辺治之 訳、日本評論社、2014.11
344p 19cm
978-4-535-78754-4
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Forever undecided 決定不能の論理パズル
レイモンド・スマリヤン 著 ; 田中朋之, 長尾確 訳、白揚社、2008.5
281p 21cm
978-4-8269-0142-0
Gödel's incompleteness theorems 不完全性定理 : スマリヤン
Raymond Smullyan [著] ; 川辺治之, 村上祐子訳、丸善、2019.12
ix, 178p 21cm
978-4-621-30478-5
A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC 不完全性定理の理解のために Raymond M.Smullyan Lectures on Mathematical Logic
レイモンド・M・スマリヤン 著 ; 田中一之 監訳 ; 川辺治之 訳、日本評論社、2017.9
363p 22cm
978-4-535-78772-8
チューリングと超(メタ)パズル = Alan Turing and Meta-Puzzles : 解ける問題と解けない問題
Alan Turing and Meta-Puzzles
田中一之 著、東京大学出版会、2013.11
223,28p 19cm
978-4-13-063901-9