検索結果書誌詳細

和書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報サマリ

書名

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

著者名 レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳
著者名ヨミ レイモンド M スマリヤン　タナカ カズユキ　カワベ ハルユキ
出版者 日本評論社
出版年月 2018.9

書誌詳細

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

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



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0023305295県立図書館410.96/ｽﾏ/書庫１一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

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

レイモンド・M.スマリヤン　田中 一之　川辺 治之
【K理論】 K理論
M.F.アティヤ… 【ボロバシュ数学の技法　：　メンフィ…】 ボロバシュ数学の技法　：　メンフィ…
B.ボロバシュ／… 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【みんなの圏論　：　演習中心アプロー…】 みんなの圏論　：　演習中心アプロー…
David I.… 【圏論的量子力学】 圏論的量子力学
Chris He… 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【無限】 無限
イアン・スチュア… 【対称性　：　不変性の表現】 対称性　：　不変性の表現
Ian Stew… 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【量子プログラミングの基礎】 量子プログラミングの基礎
Mingshen… 【Aha!ひらめきの幾何学　：　アル…】 Aha!ひらめきの幾何学　：　アル…
Tom M.Ap… 【ENIAC　：　現代計算技術のフロ…】 ENIAC　：　現代計算技術のフロ…
Thomas H… 【ひとけたの数に魅せられて】 ひとけたの数に魅せられて
マーク・チャンバ… 【ロジックの世界　：　論理学の哲人た…】 ロジックの世界　：　論理学の哲人た…
ダン・クライアン… 【箱詰めパズルポリオミノの宇宙】 箱詰めパズルポリオミノの宇宙
ソロモン・ゴロム… 【数学で織りなすカードマジックのから…】 数学で織りなすカードマジックのから…
Persi Di… 【チューリングと超(メタ)パズル　：…】 チューリングと超(メタ)パズル　：…
田中 一之／著 【この本の名は?　：　噓つきと正直者…】 この本の名は?　：　噓つきと正直者…
レイモンド・M.… 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【ゲーデルに挑む　：　証明不可能なこ…】 ゲーデルに挑む　：　証明不可能なこ…
田中 一之／著 【ゲーデルの定理　：　利用と誤用の不…】 ゲーデルの定理　：　利用と誤用の不…
トルケル・フラン… 【ゲーデルと20世紀の論理学(ロジ…4】 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編
410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【工学系の論理数学入門】 工学系の論理数学入門
田中 和明／著 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【論理と代数の基礎　：　初めて学ぶ人…】 論理と代数の基礎　：　初めて学ぶ人…
硲 文夫／著 【幾何的モデル理論入門　：　モデル理…】 幾何的モデル理論入門　：　モデル理…
板井 昌典／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著
記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【数理神学を学ぶ人のために】 数理神学を学ぶ人のために
落合 仁司／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。