Blank Cover Image

タイトルと所在が表示されます

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

フォーマット:
図書
責任表示:
レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
言語:
日本語
出版情報:
東京 : 白揚社, 2008.5
形態:
281p ; 21cm
著者名:
書誌ID:
BA86149963  CiNiibooks
ISBN:
9784826901420 [4826901429]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 決定不能の論理パズル : ゲーデルの定理と様相論理

Smullyan, Raymond M., 1919-, 長尾, 確(1962-), 田中, 朋之(1962-)

白揚社
7 図書 スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園

Smullyan, Raymond M., 1919-, 川辺, 治之

共立出版
2 図書 スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問

Smullyan, Raymond M., 1919-, 長尾, 確(1962-)

白揚社
8 図書 数学パズル : ものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語

Smullyan, Raymond M., 1919-, 阿部, 剛久(1938-)

森北出版
3 図書 無限のパラドックス : パズルで学ぶカントールとゲーデル

Smullyan, Raymond M., 1919-, 長尾, 確(1962-)

白揚社
9 図書 論理パズル

夢現舎

ナツメ社
4 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
10 図書 数学パズル美女か野獣か? : 楽しみながらゲーデルの謎にせまる

Smullyan, Raymond M., 1919-, 阿部, 剛久(1938-)

森北出版
5 電子ブック 不完全性定理

菊池, 誠(数学)

共立出版
11 電子ブック ディスカッションを科学する : 人間と人工知能の共生

長尾, 確(1962-)

慶応義塾大学出版会
6 図書 ゲーデルの不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-)

丸善
12 図書 論理パズルとパズルの論理

八杉, 満利子(1937-), 林, 晋(1953-)

遊星社, 星雲社 (発売)