資料詳細

  • 1 件中、 1 件目

数学における証明と真理 貸出可

菊池誠／編 -- 共立出版 -- ２０１６．３ -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
久喜 貸閲公開 /410.9/ｽｳ/ 102968443 一般和書 帯出可 在館中
※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
久喜 1 0 1

ページの先頭へ

資料詳細

タイトル 数学における証明と真理 
書名カナ スウガク　ニ　オケル　ショウメイ　ト　シンリ 
副書名 様相論理と数学基礎論
副書名カナ ヨウソウ　ロンリ　ト　スウガク　キソ　ロン
著者 菊池誠 ／編, 佐野勝彦 ／著, 倉橋太志 ／著, 薄葉季路 ／著, 黒川英徳 ／著, 菊池誠 ／著  
著者カナ キクチ，マコト,サノ，カツヒコ,クラハシ，タイシ,ウスバ，トシミチ,クロカワ，ヒデノリ,キクチ，マコト
出版者 共立出版
出版年 ２０１６．３
ページ数 ２８８ｐ
大きさ ２２ｃｍ
一般件名 数学基礎論 , 証明（数学）
NDC分類(9版) 410.9
内容紹介 数理論理学の基礎的な知識を持つ読者を対象に様相論理の構文論と意味論ならびにゲーデルの不完全性定理、コーエンの強制法、タルスキの真理論という３つの話題について、それらの基礎から最近の発展までを紹介する。
ISBN 4-320-11148-6
特定資料種別 一般和書
内容注記 内容：　数理論理学の基礎　／　菊池誠著,様相論理入門　／　佐野勝彦著,証明可能性論理　／　倉橋太志著,強制法と様相論理　／　薄葉季路著,真理と様相　／　黒川英徳著

ページの先頭へ

内容一覧

タイトル 著者名 ページ
数理論理学の基礎 菊池誠／著
様相論理入門 佐野勝彦／著
証明可能性論理 倉橋太志／著
強制法と様相論理 薄葉季路／著
真理と様相 黒川英徳／著

ページの先頭へ