香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
スマリヤン数理論理学講義 上巻
レイモンド・M.スマリヤン/著 -- 日本評論社 -- 2017.9 -- 410.96
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般資料
4109/S2/5-1
1110546684
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1110501535
タイトル
スマリヤン数理論理学講義 上巻
タイトルカナ
スマリヤン スウリ ロンリガク コウギ
著者
レイモンド・M.スマリヤン
/著,
田中 一之
/監訳,
川辺 治之
/訳
著者カナ
スマリヤン レイモンド M.
巻の書名
不完全性定理の理解のために
出版地
東京
出版者
日本評論社
出版年
2017.9
ページ数
3,363p
大きさ
22cm
原タイトル
原タイトル:A beginner's guide to mathematical logic
一般件名
記号論理学
NDC分類(8版)
410.96
ISBN13桁
978-4-535-78772-8
定価
¥4000
内容紹介
数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
著者紹介
1919~2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
ページの先頭へ