資料詳細

数理論理学利用可

スマリヤン／〔著〕 -- 丸善出版 -- 2014.11 -- 410.96

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	書庫	410.9/ｽﾏﾘ/一般Ｈ	119535410	一般	利用可

タイトル	数理論理学
書名ヨミ	スウリ　ロンリガク
副書名	述語論理と完全性定理
著者名	スマリヤン／〔著〕, 高橋昌一郎／監訳, 村上祐子／訳
著者ヨミ	スマリヤン，レーモンド・Ｍ． , タカハシ，ショウイチロウ , ムラカミ，ユウコ
出版者	丸善出版
出版年	2014.11
ページ数等	１９６ｐ
大きさ	２１ｃｍ
内容細目	文献あり　索引あり
原書名	Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．∥の翻訳
一般件名	記号論理学
ISBN	4-621-08785-1
ISBN13桁	978-4-621-08785-5
定価	３０００円
問合わせ番号（書誌番号）	1102061941
NDC8版	410.96
NDC9版	410.96
内容紹介	スマリヤンの最終講義。１階述語論理の本質へ。
著者紹介	【高橋】ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学。主要著書に「理性の限界」など。

タイトル	著者名	ページ
第１部　無限（無限の本質；数学的帰納法；一般化帰納法、ケーニッヒの補題、コンパクト性）
第２部　１階述語論理の基礎的結果（命題論理の基礎的結果；１階述語論理：完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理；正規性定理）
第３部　公理系（公理的方法入門；命題論理の公理的方法（続き）；１階述語論理の公理系）
第４部　１階述語論理（続き）（クレイグの補間補題；ロビンソンの整合性定理；ベスの定義可能性定理；まとめ；この先にあるもの）