大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
スマリヤン数理論理学講義 上巻
貸出可
レイモンド・M.スマリヤン/著 -- 日本評論社 -- 2017.9 -- 410.96
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
一般資料室
410.9/2017/上
00014236087
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
スマリヤン数理論理学講義 上巻,
書名ヨミ
スマリヤン スウリ ロンリガク コウギ
各巻書名
不完全性定理の理解のために
著者
レイモンド・M.スマリヤン
/著,
田中 一之
/監訳,
川辺 治之
/訳
著者名ヨミ
スマリヤン,レイモンド M. , タナカ,カズユキ , カワベ,ハルユキ
出版者
日本評論社
出版年
2017.9
ページ数, 大きさ
3,363p, 22cm
NDC10版
410.96
NDC8版
410.96
一般件名
記号論理学
ISBN
978-4-535-78772-8
注記
原タイトル:A beginner's guide to mathematical logic
著者紹介
1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
内容紹介
数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
ページの先頭へ