検索結果書誌詳細

図書日本語
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

スマリヤン数理論理学講義　　下巻　　不完全性定理の先へ　

著者名 レイモンド・M.スマリヤン／著
著者名ヨミ レイモンド M スマリヤン
出版者 日本評論社
出版年月 2018.9

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌詳細

この資料の書誌詳細情報です。

ﾀｲﾄﾙｺｰﾄﾞ 1000001485082
書誌種別 図書（日本語）
著者名 レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳
著者名ヨミ レイモンド M スマリヤン　タナカ カズユキ　カワベ,ハルユキ
出版者 日本評論社
出版年月 2018.9
ページ数 5,312p
大きさ 22cm
ISBN 978-4-535-78851-0
分類記号 410.96
記号論理学
書名 スマリヤン数理論理学講義　　下巻　　不完全性定理の先へ　
書名ヨミ スマリヤン スウリ ロンリガク コウギ
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。
著者紹介 1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
日本語



目次


内容細目表：

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

資料情報

各蔵書資料に関する詳細情報です。

№ 所蔵館 資料番号 資料種別 請求記号 配架場所 帯出区分 状態 貸出
1 中央　　　0174926006一般図書410/ｽ/2４階一般　帯出可在庫中  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

レイモンド・M.スマリヤン　田中 一之　川辺 治之
【数学そぞろ歩き　：　学者だけに任せ…】 数学そぞろ歩き　：　学者だけに任せ…
Brian Ha… 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【アラビアン・ナイトのチェスミステリ…】 アラビアン・ナイトのチェスミステリ…
Raymond … 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【無限】 無限
イアン・スチュア… 【哲学の奇妙な書棚　：　パズル,パラ…】 哲学の奇妙な書棚　：　パズル,パラ…
Roy Sore… 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【100人の囚人と1個の電球　：　知…】 100人の囚人と1個の電球　：　知…
ハンス・ファン・… 【ENIAC　：　現代計算技術のフロ…】 ENIAC　：　現代計算技術のフロ…
Thomas H… 【ひとけたの数に魅せられて】 ひとけたの数に魅せられて
マーク・チャンバ… 【ロジックの世界　：　論理学の哲人た…】 ロジックの世界　：　論理学の哲人た…
ダン・クライアン… 【迷路の中のウシ　：　数学探検コレク…】 迷路の中のウシ　：　数学探検コレク…
イアン・スチュア… 【チューリングと超(メタ)パズル　：…】 チューリングと超(メタ)パズル　：…
田中 一之／著 【この本の名は?　：　噓つきと正直者…】 この本の名は?　：　噓つきと正直者…
レイモンド・M.… 【ゲーデルに挑む　：　証明不可能なこ…】 ゲーデルに挑む　：　証明不可能なこ…
田中 一之／著 【ゲーデルの定理　：　利用と誤用の不…】 ゲーデルの定理　：　利用と誤用の不…
トルケル・フラン… 【群論の味わい　：　置換群で解き明か…】 群論の味わい　：　置換群で解き明か…
David Jo… 【ゲーデルと20世紀の論理学(ロジ…4】 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編 【確かさを求めて　：　数学の基礎につ…】 確かさを求めて　：　数学の基礎につ…
M.ジャキント／… 【ゲーデルと20世紀の論理学(ロジ…2】 ゲーデルと20世紀の論理学(ロジ…2
田中 一之／編 【ゲーデルと20世紀の論理学(ロジ…1】 ゲーデルと20世紀の論理学(ロジ…1
田中 一之／編 【数学のロジックと集合論】 数学のロジックと集合論
田中 一之／共著… 【数の体系と超準モデル】 数の体系と超準モデル
田中 一之／著 【パズルランドのアリス　：　80歳以…】 パズルランドのアリス　：　80歳以…
レイモンド・M・…
2018
【かいけつゾロリのドラゴンたいじ2】 かいけつゾロリのドラゴンたいじ2
原 ゆたか／さく… 【めんたべよう!】 めんたべよう!
小西 英子／さく 【ふしぎ駄菓子屋銭天堂10】 ふしぎ駄菓子屋銭天堂10
廣嶋 玲子／作,… 【あいことばは名探偵】 あいことばは名探偵
杉山 亮／作,中… 【どんぐりむらのいちねんかん】 どんぐりむらのいちねんかん
なかや みわ／さ… 【志麻さんの自宅レシピ　：　「作り置…】 志麻さんの自宅レシピ　：　「作り置…
タサン志麻／著 【十年屋[1]】 十年屋[1]
廣嶋 玲子／作,… 【おばけのアッチとくものパンやさん】 おばけのアッチとくものパンやさん
角野 栄子／さく… 【ホオズキくんのオバケ事件簿1】 ホオズキくんのオバケ事件簿1
富安 陽子／作,… 【中華まんのひみつ】 中華まんのひみつ
北神 諒／まんが 【みえるとかみえないとか】 みえるとかみえないとか
ヨシタケ シンス… 【いなり寿司のひみつ】 いなり寿司のひみつ
おだぎ みを／ま… 【おしりたんてい ププッゆきやまのし…】 おしりたんてい ププッゆきやまのし…
トロル／さく・え 【それしかないわけないでしょう】 それしかないわけないでしょう
ヨシタケ シンス… 【やさいのがっこう とうもろこしちゃ…】 やさいのがっこう とうもろこしちゃ…
なかや みわ／さ… 【しゅくだいクロール】 しゅくだいクロール
福田 岩緒／作・… 【ファッションビルのひみつ】 ファッションビルのひみつ
まさや ようこ／… 【ぼうけんはバスにのって】 ぼうけんはバスにのって
いとう みく／作… 【キッチンのひみつ】 キッチンのひみつ
宮原 美香／まん… 【地震・津波防災のひみつ　：　東日本…】 地震・津波防災のひみつ　：　東日本…
工藤 ケン／漫画 【NEWウォーリーのふしぎなたび】 NEWウォーリーのふしぎなたび
マーティン ハン… 【新しいでんしゃいっぱい図鑑　：　い…】 新しいでんしゃいっぱい図鑑　：　い…
井上 廣和／監修 【みずとはなんじゃ?】 みずとはなんじゃ?
かこ さとし／作… 【トンネルのひみつ】 トンネルのひみつ
田川 滋／漫画 【なぞなぞはじまるよ2】 なぞなぞはじまるよ2
おおなり 修司／… 【たのしくことばが身につく!なぞなぞ…】 たのしくことばが身につく!なぞなぞ…
高橋 啓恵／著,… 【ゼロ・エネルギー住宅のひみつ】 ゼロ・エネルギー住宅のひみつ
大岩 ピュン／ま… 【さよならともだち】 さよならともだち
内田 麟太郎／作… 【大研究!おいしく食べよう!ヨーグル…】 大研究!おいしく食べよう!ヨーグル…
松浦 まどか／漫… 【魔女ののろいアメ】 魔女ののろいアメ
草野 あきこ／作… 【おばけのソッチぞびぞびオーディショ…】 おばけのソッチぞびぞびオーディショ…
角野 栄子／さく… 【あきない世傳金と銀5】 あきない世傳金と銀5
高田 郁／著 【海苔と卵と朝めし　：　食いしん坊エ…】 海苔と卵と朝めし　：　食いしん坊エ…
向田 邦子／著 【学びを結果に変えるアウトプット大全】 学びを結果に変えるアウトプット大全
樺沢 紫苑／著 【花だより】 花だより
高田 郁／著 【おうさまがかえってくる100びょう…】 おうさまがかえってくる100びょう…
柏原 佳世子／作 【ルルとララのアニバーサリー・サンド】 ルルとララのアニバーサリー・サンド
あんびる やすこ… 【二年二組のたからばこ】 二年二組のたからばこ
山本 悦子／作,… 【たすけあいのひみつ】 たすけあいのひみつ
トミイ大塚／まん… 【ラプラスの魔女】 ラプラスの魔女
東野 圭吾／[著… 【おいも!】 おいも!
石津 ちひろ／文… 【まじょ子とステキなおひめさまドレス】 まじょ子とステキなおひめさまドレス
藤 真知子／作,… 【みんなで!ひとりで!たのしいトラン…】 みんなで!ひとりで!たのしいトラン…
草場 純／監修,… 【世界の働くくるま図鑑上巻】 世界の働くくるま図鑑上巻
 【電車大集合!】 電車大集合!
山崎 友也／著 【5回で折れる季節と行事のおりがみ2】 5回で折れる季節と行事のおりがみ2
いしかわ まりこ… 【今さら聞けないお金の超基本　：　節…】 今さら聞けないお金の超基本　：　節…
坂本 綾子／著,… 【ラストライン】 ラストライン
堂場 瞬一／著 【せかいでさいしょのポテトチップス】 せかいでさいしょのポテトチップス
アン・ルノー／文… 【5回で折れる季節と行事のおりがみ1】 5回で折れる季節と行事のおりがみ1
いしかわ まりこ…
記号論理学
【数学教師が教えるやさしい論理学】 数学教師が教えるやさしい論理学
涌井 良幸／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【新・論理考究　：　論理がはじめてわ…】 新・論理考究　：　論理がはじめてわ…
本橋 信義／著 【コンピュータは数学者になれるのか?…】 コンピュータは数学者になれるのか?…
照井 一成／著 【学んでみよう!記号論理】 学んでみよう!記号論理
高崎 金久／著 【論理と集合のはなし　：　正しい思考…】 論理と集合のはなし　：　正しい思考…
大村 平／著 【1と0との物語】 1と0との物語
日野 寛三／著 【情報科学のための論理分析テクニック】 情報科学のための論理分析テクニック
戸田 誠之助／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／〔ほか… 【もの・言葉・思考　：　形而上学と論…】 もの・言葉・思考　：　形而上学と論…
三上 真司／著 【よくわかる記号論理】 よくわかる記号論理
藤村 龍雄／著 【数学のロジックと集合論】 数学のロジックと集合論
田中 一之／共著… 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【フレーゲ著作集2】 フレーゲ著作集2
G.フレーゲ／著 【フレーゲ著作集5】 フレーゲ著作集5
G.フレーゲ／著 【フレーゲの哲学】 フレーゲの哲学
アンソニー・ケニ… 【フレーゲ著作集3】 フレーゲ著作集3
G.フレーゲ／著 【フレーゲ著作集1】 フレーゲ著作集1
G.フレーゲ／著 【アルス・コンビナトリア　：　象徴主…】 アルス・コンビナトリア　：　象徴主…
ジョン・ノイバウ… 【フレーゲ著作集4】 フレーゲ著作集4
G.フレーゲ／著 【ゲーデルは何を証明したか　：　数学…】 ゲーデルは何を証明したか　：　数学…
E.ナーゲル／著… 【計算論理入門】 計算論理入門
田中 尚夫／著 【ゲーデルの謎を解く】 ゲーデルの謎を解く
林 晋／著 【ゲーデルの世界　：　完全性定理と不…】 ゲーデルの世界　：　完全性定理と不…
広瀬 健／著,横… 【パースの記号学】 パースの記号学
米盛 裕二／著
前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。