城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Smullyan Raymond M.)
該当件数:12件
First-order logic / Raymond M. Smullyan
Berlin : Springer-Verlag , c1968. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43)
図書
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)
Godel's incompleteness theorems / Raymond M. Smullyan.
19. - New York : Oxford University Press , 1992. - (Oxford logic guides ; 19)
Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting.
34. - Oxford, England : Clarendon Press , 1996. - New York : Oxford University Press , 1996. - Oxford, England : Clarendon Press , 1996. - (Oxford logic guides ; 34)
ゲーデルの不完全性定理 / レイモンド・スマリヤン {著} ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2014.11
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園 / Raymond Smullyan著 ; 川辺治之訳
東京 : 共立出版 , 2008.8
数学パズル美女か野獣か? : 楽しみながらゲーデルの謎にせまる / レイモンド・スマリヤン原著 ; 阿部剛久訳
東京 : 森北出版 , 1996.3
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11