Blank Cover Image

スマリヤン数理論理学講義

フォーマット:
図書
責任表示:
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報:
東京 : 日本評論社, 2017.9-2018.9
形態:
2冊 ; 22cm
著者名:
書誌ID:
BB26881140
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園

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

共立出版
7 図書 スマリヤン不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-), 川辺, 治之, 村上, 祐子(1968-)

丸善出版
2 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

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

日本評論社
8 図書 逆数学 : 定理から公理を「証明」する

Stillwell, John, 川辺, 治之, 田中, 一之

森北出版
3 図書 スマリヤン記号論理学 : 一般化と記号化

Smullyan, Raymond M., 1919-, 川辺, 治之, 高橋, 昌一郎(1959-)

丸善出版
9 図書 計算理論と数理論理学 = Mathematics of logic and computation

田中, 一之

共立出版
4 図書 不完全性定理の理解のために

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
10 図書 スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

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

白揚社
5 図書 不完全性定理の先へ

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

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

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

白揚社
6 図書 スマリヤン数理論理学 : 述語論理と完全性定理

Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-)

丸善出版
12 図書 スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ

Smullyan, Raymond M., 1919-, 長尾, 確(1962-), 長尾, 加寿恵(1963-)

白揚社