上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Smullyan Raymond M.)
該当件数:22件
First-Order Logic / by Raymond M. Smullyan
Berlin, Heidelberg : Springer Berlin Heidelberg , 1968. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43)
電子ブック <1002997326>
Recursion theory for metamathematics / Raymond M. Smullyan
New York : Oxford University Press , 1993. - (Oxford logic guides ; 22)
図書 <1000468704>
First-order logic / Raymond M. Smullyan
Berlin : Springer-Verlag , c1968. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43)
図書 <1000449152>
Gödel's incompleteness theorems / Raymond M. Smullyan
New York : Oxford University Press , 1992. - (Oxford logic guides ; 19)
図書 <1000455639>
この本の名は? : 嘘つきと正直者をめぐる不思議な論理パズル / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2013.2
図書 <1002600044>
アラビアン・ナイトのチェスミステリー : スマリヤンの逆向き解析問題集 / Raymond Smullyan著 ; 川辺治之訳
東京 : 共立出版 , 2019.10
図書 <1003087706>
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2014.11
図書 <1002733660>
スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ / レイモンド・スマリヤン著 ; 長尾確, 長尾加寿恵訳
東京 : 白揚社 , 2001.3
図書 <1001243420>
数学パズル美女か野獣か? : 楽しみながらゲーデルの謎にせまる / レイモンド・スマリヤン原著 ; 阿部剛久訳
東京 : 森北出版 , 1996.3
図書 <1001402720>
数学パズル : ものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語 / レイモンド・スマリヤン著 ; 阿部剛久[ほか]訳
東京 : 森北出版 , 1998.5
図書 <1001402725>
哲学ファンタジー / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1995.4
図書 <1001663805>
スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園 / Raymond Smullyan著 ; 川辺治之訳
東京 : 共立出版 , 2008.8
図書 <1002010905>
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
図書 <1000252801>
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
東京 : 白揚社 , 2008.5
図書 <1002136574>
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
図書 <1002599898>
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 <1002938261>
スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9-2018.9
図書 <1003026753>
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 <1002976156>
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
図書 <1002735617>
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確・田中朋之訳
東京 : 白揚社 , 1990.11
図書 <1000192619>