2025/10/30
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
スマリヤン数理論理学講義 下巻(スマリヤン/スウリ/ロンリガク/コウギ)｡
|
| 各巻書名｡ |
不完全性定理の先へ｡
|
| 著者名等｡ |
レイモンド・M.スマリヤン‖著(スマリヤン,レイモンド M.)｡
|
| 田中/一之‖監訳(タナカ,カズユキ)｡
|
| 川辺/治之‖訳(カワベ,ハルユキ)｡
|
| 出版者｡ |
日本評論社／東京｡
|
| 出版年｡ |
2018.9｡
|
| ページと大きさ｡ |
5,312p／22cm｡
|
| 件名｡ |
記号論理学｡
|
| 分類｡ |
NDC8 版：410.96｡
|
| NDC9 版：410.96｡
|
| NDC10版：410.96｡
|
| ISBN｡ |
978-4-535-78851-0｡
|
| 価格｡ |
¥3800｡
|
| タイトルコード｡ |
1000001166913｡
|
| 内容紹介｡ |
数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。｡
|
| 著者紹介｡ |
1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001166913