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=AU00060255 NCID=DA01209440 |
1 | スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳 改訳版. - 東京 : 丸善出版 , 2019.12 |
2 | 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2018.9 |
3 | 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9 |
4 | スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9-2018.9 |
5 | スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳 東京 : 丸善出版 , 2014.11 |
6 | スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2014.11 |
7 | スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳 東京 : 丸善出版 , 2013.1 |
8 | スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園 / Raymond Smullyan著 ; 川辺治之訳 東京 : 共立出版 , 2008.8 |
9 | ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳 東京 : 丸善 , 1996.7 |
10 | 哲学ファンタジー / レイモンド・スマリヤン [著] ; 高橋昌一郎訳 東京 : 丸善 , 1995.4 |
11 | 決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳 東京 : 白揚社 , 1990.11 |
12 | Theory of formal systems / by Raymond M. Smullyan Princeton, N.J. : Princeton University Press , 1961 |