資料詳細

詳細蔵書検索

数理論理学

スマリヤン／〔著〕 -- 丸善出版 -- ２０１４．１１ -- 410.96

所蔵

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

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般資料	4109/S2/3	1109039576	一般	貸出可	在庫

ページの先頭へ

資料詳細

種別	図書
タイトルコード	1110253670
タイトル	数理論理学
タイトルカナ	スウリ　ロンリガク
副書名	述語論理と完全性定理
著者	スマリヤン／〔著〕, 高橋昌一郎／監訳, 村上祐子／訳
著者カナ	スマリヤン　レーモンド・Ｍ．
出版地	東京
出版者	丸善出版
出版年	２０１４．１１
ページ数	１９６ｐ
大きさ	２１ｃｍ
原タイトル	Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．／の翻訳
一般件名	記号論理学
NDC分類(8版)	410.96
ISBN13桁	978-4-621-08785-5
定価	３０００円
内容紹介	数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。
著者紹介	【高橋】ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学。主要著書に「理性の限界」など。

ページの先頭へ