Smullyan, Raymond M., 1919-

著者名典拠詳細を表示

著者の属性 個人
場所 New York
一般注記 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歳で逝去.)
生没年等 1919-2017
から見よ参照 スマリヤン, レイモンド<スマリヤン, レイモンド>
Smullyan, Raymond
Smullyan, R
Smullyan, Raymond Merrill
スマリヤン, レイモンド・M<スマリヤン, レイモンド・M>
コード類 典拠ID=5000456569  NCID=DA01209440
1 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2018.9
2 スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 上巻. - 東京 : 日本評論社 , 2017.9-
3 スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9-2018.9
4 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2014.11
5 スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan [著] ; 川辺治之訳 東京 : 丸善出版 , 2013.1
6 スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園 / Raymond Smullyan著 ; 川辺治之訳 東京 : 共立出版 , 2008.8
7 スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ / レイモンド・スマリヤン著 ; 長尾確, 長尾加寿恵訳 東京 : 白揚社 , 2008.5
8 スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問 / レイモンド・スマリヤン著 ; 長尾確訳 東京 : 白揚社 , 2007.12
9 パズルランドのアリス / レイモンド・M.スマリヤン著 ; 市場泰男訳 1:不思議の国篇,2:鏡の国篇. - 東京 : 早川書房 , 2004
10 スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ / レイモンド・スマリヤン著 ; 長尾確, 長尾加寿恵訳 東京 : 白揚社 , 2001.3
11 数学パズル : ものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語 / レイモンド・スマリヤン著 ; 阿部剛久[ほか]訳 東京 : 森北出版 , 1998.5
12 哲学ファンタジー / レイモンド・スマリヤン [著] ; 高橋昌一郎訳 東京 : 丸善 , 1995.4
13 First-order logic / Raymond M. Smullyan : pbk. - New York : Dover , c1995
14 無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳 東京 : 白揚社 , 1994.3
15 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11