検索結果書誌詳細

内容紹介

数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。

＋ 追加情報を見る

ﾀｲﾄﾙｺｰﾄﾞ

1000001485082

書誌種別

図書（日本語）

著者名

レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳

著者名ヨミ

レイモンド M スマリヤン　タナカ カズユキ　カワベ,ハルユキ

出版者

日本評論社

出版年月

2018.9

ページ数

5,312p

大きさ

22cm

ISBN

4-535-78851-0

分類記号

410.96

書名

スマリヤン数理論理学講義　　下巻　　不完全性定理の先へ　

書名ヨミ

スマリヤン スウリ ロンリガク コウギ

著者紹介

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

件名1

記号論理学