感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。

蔵書情報

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

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

書誌情報サマリ

書名

日本海軍艦艇図面全集　第4巻 　極秘

著者名 潮書房雑誌丸編集部／編
出版者 潮書房
出版年月 1979
請求記号 N557/00027/４

この資料に対する操作

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

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

※この書誌は予約できません。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0111040481一般和書２階書庫大型本禁帯出在庫 

関連資料

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

書誌詳細

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

請求記号 N557/00027/４
書名 日本海軍艦艇図面全集　第4巻 　極秘
著者名 潮書房雑誌丸編集部／編
出版者 潮書房
出版年月 1979
ページ数 10p
大きさ 42cm
一般注記 頁付:図版10枚 ＊箱入り ＊付:別冊解説
分類 557
書誌種別 一般和書
タイトルコード 1009210092442

要旨 正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。
目次 第１部　様相論理入門（正規様相論理の構文論・意味論・ヒルベルト式公理系
正規様相論理の有限フレーム性・決定可能性
様相論理の発展と歴史的背景）
第２部　証明可能性論理（不完全性定理と証明可能性論理
ソロヴェイの算術的完全性定理
証明可能性論理の発展）
第３部　強制法と様相論理（公理的集合論の概要
強制法と多元宇宙論
強制様相論理）
第４部　真理と様相（真理に関するタルスキの定理と型付きの真理述語
クリプキの真理論―型をもたない真理論（１）
真理から様相へ―型をもたない真理論（２））


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。