数学基礎論入門(基礎数学シリ－ズ)
前原昭二
著
品切
価格
\4,290（税込）
発行年月
1977年06月
出版社／提供元
朝倉書店
言語
日本語
媒体
冊子
ページ数／巻数
２１１ｐ
大きさ
22
ジャンル
和書
ISBN
9784254113969
商品コード
0196083896
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0196083896
内容
不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。〔内容〕数学的理論の形式化／命題論理／述語論理／等号をもつ述語論理／型の理論／自然数論／自然数の関係と関数についての形式的表現の可能性／ゲーデルの不完全性定理／他
