資料詳細

  • 1 件中、 1 件目

数学基礎論 貸出可

新井 敏康／著 -- 東京大学出版会 -- 2021.4 -- 410.9

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
一般１階 /410.9/ｱ/ 8135293511 一般 館内有

ページの先頭へ

資料詳細

書名 数学基礎論
著者名 新井 敏康 ／著  
出版者 東京大学出版会
出版年 2021.4
ページ数 19,588p
大きさ 22cm
一般件名 数学基礎論
NDC分類(9版) 410.9
並列タイトル Mathematical Logic
版表示 増補版
著者紹介 1958年生まれ。筑波大学数学系大学院博士課程修了。理学博士。東京大学大学院数理科学研究科教授。専門は数学基礎論。
内容紹介 数学基礎論の基本的結果とその技法やアイディアを、広くていねいに解説したテキスト。不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題などを追加した増補版。
ISBN 4-13-062927-0
ISBN13桁 978-4-13-062927-0

ページの先頭へ