図書

数学における証明と真理 : 様相論理と数学基礎論

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

数学における証明と真理 = Proof and Truth in Mathematics : 様相論理と数学基礎論

国立国会図書館請求記号
MA21-L319
国立国会図書館書誌ID
027164189
資料種別
図書
著者
菊池誠 編ほか
出版者
共立出版
出版年
2016.3
資料形態
ページ数・大きさ等
288p ; 22cm
NDC
410
すべて見る

資料詳細

内容細目:

数理論理学の基礎 / 菊池誠 著様相論理入門 / 佐野勝彦 著証明可能性論理 / 倉橋太志 著...

要約等:

本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味論,ならびに,数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理,コーエンの強制法,タルスキの真理論という三つの話題について,それらの基礎から最近の発展までを紹介するものである。様相論理を紹介する第1部は...

書店で探す

目次

  • はじめに

  • 序章 数理論理学の基礎(菊池 誠)

  • 0.1 命題論理

  • 0.2 述語論理と不完全性定理

  • 0.3 証明可能性

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-320-11148-6
タイトルよみ
スウガク ニ オケル ショウメイ ト シンリ
著者・編者
菊池誠 編
佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著
著者標目
菊池, 誠 キクチ, マコト ( 001186514 )典拠
佐野, 勝彦 サノ, カツヒコ ( 001161420 )典拠
倉橋, 太志 クラハシ, タイシ ( 001232624 )典拠
薄葉, 季路 ウスバ, トシミチ ( 001232626 )典拠
出版年月日等
2016.3
出版年(W3CDTF)
2016
数量
288p