著者典拠情報

標目形：
Smullyan, Raymond M., 1919-
属性：
Personal
場所：
New York
日付：
1919-2017
から見よ参照形：
スマリヤン, レイモンド||スマリヤン, レイモンド
Smullyan, Raymond
Smullyan, R
Smullyan, Raymond Merrill
スマリヤン, レイモンド・M||スマリヤン, レイモンド・M
注記：
His Theory of formal systems, 1961
His The chess mysteries of the Arabian nights, 1981: t.p. (Raymond Smullyan)
b. 5/25/19
His Satan, cantor, and infinity, 1993, c1992: p. [i] (Raymond Smullyan; Oscar Ewing Prof. of Philosophy at Indiana Univ. and prof. emeritus of the City Univ. of New York-Lehman College and Graduate Center)
EDSRC:不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳(日本評論社, 2017.9): 奥付ページ (レイモンド・M・スマリヤン Raymond M. Smullyan 1919年, ニューヨーク生まれ. ... 数学者, 専門は数理論理学. ... 2017年, 97歳で逝去.)
著者典拠ID：
DA01209440


1.

図書
図書
1. 不完全性定理の理解のために
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻
2.

図書
図書
2. 不完全性定理の先へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
3.

図書
図書
3. スマリヤン記号論理学 : 一般化と記号化
Raymond Smullyan[著] ; 川辺治之訳
出版情報: 東京 : 丸善出版, 2013.1
4.

図書
図書
4. スマリヤン不完全性定理. 改訳版
Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
出版情報: 東京 : 丸善出版, 2019.12
5.

図書
図書
5. 数学パズル : ものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語
レイモンド・スマリヤン著 ; 阿部剛久[ほか]訳
出版情報: 東京 : 森北出版, 1998.5
6.

図書
図書
6. 決定不能の論理パズル : ゲーデルの定理と様相論理
レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
出版情報: 東京 : 白揚社, 1990.11
7.

図書
図書
7. ゲーデルの不完全性定理
レイモンド・スマリヤン [著] ; 高橋昌一郎訳
出版情報: 東京 : 丸善, 1996.7
8.

図書
図書
8. スマリヤン数理論理学 : 述語論理と完全性定理
Raymond Smullyan [著] ; 村上祐子訳
出版情報: 東京 : 丸善出版, 2014.11
9.

図書
図書
9. スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2014.11
10.

図書
図書
10. スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園
Raymond Smullyan著 ; 川辺治之訳
出版情報: 東京 : 共立出版, 2008.8