検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

スマリヤン数理論理学 

著者名 Raymond Smullyan/[著]
著者名ヨミ Raymond Smullyan
出版者 丸善出版
出版年月 2014.11


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般開架41096/11/1102387352一般在庫 

書誌詳細

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

タイトルコード 1000100230097
書誌種別 図書
書名 スマリヤン数理論理学 
書名ヨミ スマリヤン スウリ ロンリガク
述語論理と完全性定理
言語区分 日本語
著者名 Raymond Smullyan/[著]   高橋 昌一郎/監訳   村上 祐子/訳
著者名ヨミ Raymond Smullyan タカハシ ショウイチロウ ムラカミ ユウコ
著者名原綴 Smullyan Raymond M.
出版地 東京
出版者 丸善出版
出版年月 2014.11
本体価格 ¥3000
ISBN 978-4-621-08785-5
ISBN 4-621-08785-5
数量 4,196p
大きさ 21cm
分類記号 410.96
件名 記号論理学
注記 原タイトル:Logical labyrinthsの抄訳
注記 文献:p189〜190
内容紹介 「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。
目次タイトル 第Ⅰ部 無限
第1章 無限の本質 第2章 数学的帰納法 第3章 一般化帰納法,ケーニッヒの補題,コンパクト性
第Ⅱ部 1階述語論理の基礎的結果
第4章 命題論理の基礎的結果 第5章 1階述語論理:完全性,コンパクト性,スコーレム-レーヴェンハイムの定理 第6章 正規性定理
第Ⅲ部 公理系
第7章 公理的方法入門 第8章 命題論理の公理的方法(続き) 第9章 1階述語論理の公理系
第Ⅳ部 1階述語論理(続き)
第10章 クレイグの補間補題 第11章 ロビンソンの整合性定理 第12章 ベスの定義可能性定理 第13章 まとめ 第14章 この先にあるもの



内容細目

関連資料

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

Raymond Smullyan 高橋 昌一郎 村上 祐子
2014
410.96
記号論理学
前のページへ

本文はここまでです。


ページの終わりです。