資料詳細

  • 1 件中、 1 件目

スマリヤン数理論理学講義 下巻   貸出可

レイモンド・M.スマリヤン／著 -- 日本評論社 -- 2018.9 -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｓｍ８/2 0010018377380 一般図書 書架

ページの先頭へ

資料詳細

テキスト言語 日本語
タイトル１ スマリヤン数理論理学講義  下巻
巻の書名 不完全性定理の先へ
著者１ レイモンド・M.スマリヤン ／著, 田中 一之 ／監訳, 川辺 治之 ／訳  
出版年 2018.9
出版者 日本評論社
一般件名 記号論理学
ページ数 5,312p
大きさ 22cm
ISBN 4-535-78851-0
NDC分類(10版) 410.96
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。

ページの先頭へ

著者紹介

著者紹介１－１ 1919～2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。