資料詳細

[ 和図書 ] スマリヤン数理論理学述語論理と完全性定理

Raymond Smullyan／[著] -- 丸善出版 -- 2014.11 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	2F	一般図書	/410.9/5102/2014	7105005337		配架図 Digital BookShelf
2014/12/23	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-621-08785-5
ISBN13桁	978-4-621-08785-5
タイトル	スマリヤン数理論理学
タイトルカナ	スマリヤンスウリロンリガク
タイトル関連情報	述語論理と完全性定理
タイトル関連情報読み	ジュツゴロンリトカンゼンセイテイリ
著者名	Raymond Smullyan ／[著], 高橋昌一郎／監訳, 村上祐子／訳
著者名典拠番号	120000278160000 , 110002370370000 , 110004478870000
出版地	東京
出版者	丸善出版
出版者カナ	マルゼンシュッパン
出版年	2014.11
ページ数	4, 196p
大きさ	21cm
原タイトル注記	原タイトル:Logical labyrinthsの抄訳
価格	¥3000
内容紹介	「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。
書誌・年譜・年表	文献:p189～190
一般件名	記号論理学-ndlsh-00565709
一般件名カナ	キゴウロンリガク-00565709
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『スマリヤン数理論理学述語論理と完全性定理』　Raymond Smullyan／[著], 高橋昌一郎／監訳 , 村上祐子／訳　丸善出版　2014.11（所蔵館：中央　請求記号：/410.9/5102/2014　資料コード：7105005337）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152555556

ページの先頭へ

第Ⅰ部無限: 第1章無限の本質; 第2章数学的帰納法; 第3章一般化帰納法,ケーニッヒの補題,コンパクト性
第Ⅱ部 1階述語論理の基礎的結果: 第4章命題論理の基礎的結果; 第5章 1階述語論理:完全性,コンパクト性,スコーレム-レーヴェンハイムの定理; 第6章正規性定理
第Ⅲ部公理系: 第7章公理的方法入門; 第8章命題論理の公理的方法(続き); 第9章 1階述語論理の公理系
第Ⅳ部 1階述語論理(続き): 第10章クレイグの補間補題; 第11章ロビンソンの整合性定理; 第12章ベスの定義可能性定理; 第13章まとめ; 第14章この先にあるもの

ページの先頭へ