yr 〜
yr

Search results 32

アラビアン・ナイトのチェスミステリー : スマリヤンの逆向き解析問題集

アラビアン・ナイトのチェスミステリー : スマリヤンの逆向き解析問題集
Paper図書
Raymond Smullyan 著, 川辺治之 訳共立出版2019.10<KD958-M74>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 川辺, 治之

スマリヤン不完全性定理 改訳版

スマリヤン不完全性定理 改訳版
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之, 村上祐子 訳丸善出版2019.12<MA41-M19>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959- 川辺, 治之 村上, 祐子,...

スマリヤン数理論理学講義 下巻

スマリヤン数理論理学講義 下巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2018.9<MA41-L89>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 田中, 一之, 1955- 川辺, 治之

タオは笑っている : 愉快な公案集 改訂版

タオは笑っている : 愉快な公案集 改訂版
PaperRecording Media図書障害者向け資料あり
レイモンド・M.スマリヤン 著, 桜内篤子 訳工作舎2016.12<HB61-L45>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 桜内, 篤子, 1947-

スマリヤン数理論理学講義 上巻

スマリヤン数理論理学講義 上巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2017.9<MA41-L70>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 田中, 一之, 1955- 川辺, 治之

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
Paper図書
レイモンド・M・スマリヤン 著, 川辺治之 訳日本評論社2014.11<MA41-L38>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 川辺, 治之

この本の名は? : 嘘つきと正直者をめぐる不思議な論理パズル

この本の名は? : 嘘つきと正直者をめぐる不思議な論理パズル
Paper図書
レイモンド・M・スマリヤン 著, 川辺治之 訳日本評論社2013.2<MA34-L3>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 川辺, 治之

哲学ファンタジー : パズル・パラドックス・ロジック (ちくま学芸文庫 ; ス16-1)

哲学ファンタジー : パズル・パラドックス・ロジック (ちくま学芸文庫 ; ス16-1)
Paper図書
レイモンド・スマリヤン 著, 高橋昌一郎 訳筑摩書房2013.7<H15-L15>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959-

スマリヤン数理論理学 : 述語論理と完全性定理

スマリヤン数理論理学 : 述語論理と完全性定理
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 村上祐子 訳丸善出版2014.11<MA41-L37>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959- 村上, 祐子, 1968-

スマリヤン記号論理学 : 一般化と記号化

スマリヤン記号論理学 : 一般化と記号化
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之 訳丸善出版2013.1<MA41-L3>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959- 川辺, 治之

スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園

スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園
Paper図書
Raymond Smullyan 著, 川辺治之 訳共立出版2008.8<MA67-J11>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 川辺, 治之

スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問

スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問
Paper図書
レイモンド・スマリヤン 著, 長尾確 訳白揚社2007.12<MA41-J1>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 長尾, 確, 1962-

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
Paper図書
レイモンド・スマリヤン 著, 長尾確, 長尾加寿恵 訳白揚社2008.5<MA41-J9>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 長尾, 確, 1962- 長尾, 加寿恵, 1963-

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Paper図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳白揚社2008.5<MA41-J8>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 田中, 朋之, 1962- 長尾, 確, 1962-

パズルランドのアリス 1(不思議の国篇) (ハヤカワ文庫 : NF. <数理を愉しむ>シリーズ)

パズルランドのアリス 1(不思議の国篇) (ハヤカワ文庫 : NF. <数理を愉しむ>シリーズ)
Paper図書障害者向け資料あり
レイモンド・M.スマリヤン 著, 市場泰男 訳早川書房2004.2<KD958-H35>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 市場, 泰男, 1924-2016

天才スマリヤンのパラドックス人生 : ゲーデルもピアノもマジックもチェスもジョークも

天才スマリヤンのパラドックス人生 : ゲーデルもピアノもマジックもチェスもジョークも
Paper図書
レイモンド・スマリヤン 著, 高橋昌一郎 訳講談社2004.11<GK489-H13>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingSmullyan, Raymond M, 1919-2017
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959-

パズルランドのアリス 2(鏡の国篇) (ハヤカワ文庫 : NF. <数理を愉しむ>シリーズ)

パズルランドのアリス 2(鏡の国篇) (ハヤカワ文庫 : NF. <数理を愉しむ>シリーズ)
Paper図書
レイモンド・M.スマリヤン 著, 市場泰男 訳早川書房2004.3<KD958-H39>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 市場, 泰男, 1924-2016

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
Paper図書
レイモンド・スマリヤン 著, 長尾確, 長尾加寿恵 訳白揚社2001.3<MA41-G69>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 長尾, 確, 1962- 長尾, 加寿恵, 1963-

哲学ファンタジー

哲学ファンタジー
Recording Media電子資料障害者向け資料あり
レイモンド・スマリヤン 著, 高橋昌一郎 訳日本障害者リハビリテーション協会2000.2<YH131-2065>
National Diet Library
  • Author HeadingSmullyan, Raymond M, 1919-2017 高橋, 昌一郎, 1959-

数学パズルものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語

数学パズルものまね鳥をまねる : 愉快なパズルと結合子論理の夢の鳥物語
Paper図書
レイモンド・スマリヤン 著, 阿部剛久 [ほか]訳森北出版1998.5<MA34-G18>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 阿部, 剛久, 1938-