検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0013561394図書一般410/ｷｸ16/2F自然貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

数学における証明と真理

人名 菊池 誠／編
人名ヨミ キクチ マコト
出版者・発行者 共立出版
出版年月 2016.3

書誌詳細

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

書誌種別 図書
タイトル 数学における証明と真理
サブタイトル 様相論理と数学基礎論
タイトルヨミ スウガク ニ オケル ショウメイ ト シンリ
サブタイトルヨミ ヨウソウ ロンリ ト スウガク キソロン
人名 菊池 誠／編 　 佐野 勝彦／著 　 倉橋 太志／著 　 薄葉 季路／著 　 黒川 英徳／著 　 菊池 誠／著
人名ヨミ キクチ マコト　サノ カツヒコ　クラハシ タイシ　ウスバ トシミチ　クロカワ ヒデノリ　キクチ マコト
出版者・発行者 共立出版
出版者・発行者等ヨミ キョウリツ シュッパン
出版地・発行地 東京
出版・発行年月 2016.3
ページ数または枚数・巻数 10,288p
大きさ 22cm
価格 ￥４２００
ISBN 978-4-320-11148-6
ISBN 4-320-11148-6
注記 文献:部末
分類記号 410
件名 証明(数学) ／ 様相(論理学)
内容紹介 数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説する。
著者紹介 東京工業大学理学部数学科卒業。神戸大学大学院システム情報学研究科准教授。専門は数学基礎論。著書に「不完全性定理」など。
言語区分 JPN
タイトルコード 1009812001815



目次


内容細目

関連資料

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

菊池 誠　佐野 勝彦　倉橋 太志　薄葉 季路　黒川 英徳　菊池 誠
【ヴォー・グエン・ザップ将軍とベトナ…】 ヴォー・グエン・ザップ将軍とベトナ…
菊池 誠一／著 【よくわかる!すぐに使える!保育園の…】 よくわかる!すぐに使える!保育園の…
佐野 勝彦／編著… 【福島の甲状腺検査と過剰診断　：　子…】 福島の甲状腺検査と過剰診断　：　子…
高野 徹／著,緑… 【価値創造の考え方　：　期待を満足に…】 価値創造の考え方　：　期待を満足に…
國部 克彦／編,… 【ベトナム革命の隠れた英雄チャン・ヴ…】 ベトナム革命の隠れた英雄チャン・ヴ…
チャン・ヴァン・… 【管理職の能力要件・能力開発ガイドブ…】 管理職の能力要件・能力開発ガイドブ…
菊池 誠治／著 【どうする!園の赤字　：　赤字になっ…】 どうする!園の赤字　：　赤字になっ…
柴田 豊幸／企画… 【女子高生制服路上観察】 女子高生制服路上観察
佐野 勝彦／著 【信じちゃいけない身のまわりのカガク…】 信じちゃいけない身のまわりのカガク…
渋谷研究所X／著… 【各分野の専門家が伝える子どもを守る…】 各分野の専門家が伝える子どもを守る…
宋 美玄／著,姜… 【アジアの戦争遺跡と活用】 アジアの戦争遺跡と活用
菊池 実／編,菊… 【大地震と株式投資　：　「イベントX…】 大地震と株式投資　：　「イベントX…
菊池 誠一／著 【不完全性定理】 不完全性定理
菊池 誠／著 【いちから聞きたい放射線のほんとう　…】 いちから聞きたい放射線のほんとう　…
菊池 誠／著,小… 【朱印船貿易絵図の研究】 朱印船貿易絵図の研究
菊池 誠一／編 【コンピュータ理論の起源第1巻】 コンピュータ理論の起源第1巻
伊藤 和行／編,… 【配当パワー投資入門　：　株式・Jリ…】 配当パワー投資入門　：　株式・Jリ…
菊池 誠一／著 【現代の財務管理】 現代の財務管理
榊原 茂樹／著,… 【海の道と考古学　：　インドシナ半島…】 海の道と考古学　：　インドシナ半島…
菊池 誠一／編,… 【科学と神秘のあいだ】 科学と神秘のあいだ
菊池 誠／著 【おかしな科学　：　みんながはまる、…】 おかしな科学　：　みんながはまる、…
渋谷研究所X／著… 【懐疑論者の事典下】 懐疑論者の事典下
ロバート・T.キ… 【懐疑論者の事典上】 懐疑論者の事典上
ロバート・T.キ… 【Webデザインの「プロだから考える…】 Webデザインの「プロだから考える…
鎌田 貴史／著,… 【信じぬ者は救われる】 信じぬ者は救われる
香山 リカ／著,…
410　410
【世界一ひらめく!算数&数学の大図鑑】 世界一ひらめく!算数&数学の大図鑑
アンナ・ウェルト… 【コンピュータでとく数学　：　データ…】 コンピュータでとく数学　：　データ…
矢吹 太朗／著 【高校数学の美しい物語】 高校数学の美しい物語
難波 博之／著 【るるぶマンガとクイズで楽しく学ぶ!…】 るるぶマンガとクイズで楽しく学ぶ!…
松野 陽一郎／監… 【中学数学で磨く数学センス　：　数と…】 中学数学で磨く数学センス　：　数と…
花木 良／著 【名探偵コナンの12才までに算数セン…】 名探偵コナンの12才までに算数セン…
青山 剛昌／原作… 【図解はじめて学ぶ数学のせかい】 図解はじめて学ぶ数学のせかい
サラ・ハル／文,… 【見てわかる数学入門ショートストーリ…】 見てわかる数学入門ショートストーリ…
ポール・グレンデ… 【数学の苦手が好きに変わるとき】 数学の苦手が好きに変わるとき
芳沢 光雄／著 【ようこそ、数学クラブへ　：　暗記も…】 ようこそ、数学クラブへ　：　暗記も…
キム ミニョン／… 【身のまわりで発見!算数・数学の大事…】 身のまわりで発見!算数・数学の大事…
桜井 進／監修 【笑わない数学】 笑わない数学
NHK「笑わない… 【数学嫌いな人のための数学】 数学嫌いな人のための数学
小室 直樹／著 【Scratchで遊んでわかる!中学…】 Scratchで遊んでわかる!中学…
岡田 延昭／著,… 【知れば知るほど好きになる算数のひみ…】 知れば知るほど好きになる算数のひみ…
細水 保宏／監修 【小学校の学習に役立つ!マインクラフ…】 小学校の学習に役立つ!マインクラフ…
園田 毅／監修 【高校生が書いたきっと好きになる数学…】 高校生が書いたきっと好きになる数学…
チェ ジョンダム… 【ざっくりわかる数学用語事典】 ざっくりわかる数学用語事典
佐々木 淳／著 【大人の教養教室中学・高校の数学　：…】 大人の教養教室中学・高校の数学　：…
 【算数の学校　：　わかりやすくておも…】 算数の学校　：　わかりやすくておも…
高木 徹／監修 【小学校6年間の算数の「なぜ?」がわ…】 小学校6年間の算数の「なぜ?」がわ…
朝倉 仁／著 【数学オリンピック2019〜2023】 数学オリンピック2019〜2023
数学オリンピック… 【新AI時代の数学　：　ChatGP…】 新AI時代の数学　：　ChatGP…
 【数学者の選ぶ「とっておきの数学」】 数学者の選ぶ「とっておきの数学」
数学セミナー編集… 【あした話したくなるやさしいたのしい…】 あした話したくなるやさしいたのしい…
横山 明日希／監…
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。