Blank Cover Image

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

決定不能の論理パズル : ゲーデルの定理と様相論理

フォーマット:
図書
責任表示:
レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
言語:
日本語
出版情報:
東京 : 白揚社, 1990.11
形態:
279p ; 22cm
著者名:
書誌ID:
BN05489989  CiNiibooks
ISBN:
9784826900447 [4826900449]  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 図書 ゲーデルの世界 : 完全性定理と不完全性定理

広瀬, 健(1935-), 横田, 一正(1949-)

海鳴社
2 図書 無限のパラドックス : パズルで学ぶカントールとゲーデル

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

白揚社
8 図書 今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems

本橋, 信義(1943-), 講談社サイエンティフィク

講談社
3 図書 スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問

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

白揚社
9 図書 論理パズル

夢現舎

ナツメ社
4 図書 ゲーデルの不完全性定理

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

丸善
10 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

筑摩書房
5 図書 数学基礎論 : ゲーデルの不完全性定理

隈部, 正博(1962-)

放送大学教育振興会
11 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

日本評論社
6 図書 数学基礎論 : Gödelの完全性定理

隈部, 正博(1962-)

放送大学教育振興会
12 図書 数学パズル : ものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語

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

森北出版