資料詳細

  • 1 件中、 1 件目

数理論理学 述語論理と完全性定理 貸出可

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

タグ

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
一般資料 410.9 /ｽﾏ/ 00111258390 図書 貸出可 利用可 iLisvirtual

ページの先頭へ

資料詳細

マーク種別 JPマーク
マーク番号 22509367
書名 数理論理学
書名ヨミ ｽｳﾘ ﾛﾝﾘｶﾞｸ
副書名 述語論理と完全性定理
著者名 スマリヤン ／〔著〕, 高橋昌一郎 ／監訳, 村上祐子 ／訳  
著者名ヨミ ｽﾏﾘﾔﾝ ﾚｰﾓﾝﾄﾞ･M. , ﾀｶﾊｼ ｼｮｳｲﾁﾛｳ , ﾑﾗｶﾐ ﾕｳｺ  
出版地 東京
出版者 丸善出版
出版年 2014.11
頁数・図版 １９６ｐ
大きさ ２１ｃｍ
一般注記 文献あり　索引あり
原書名 Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．∥の翻訳
ISBN 4-621-08785-1 国立国会図書館 カーリル GoogleBooks WebcatPlus
ISBN(新) 978-4-621-08785-5
本体価格 ３０００円
NDC分類(8版) 410.96
NDC分類(9版) 410.96
件名 記号論理学
内容紹介 数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。
著者紹介 【高橋】ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学。主要著書に「理性の限界」など。

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。