数学基礎論入門
著者
書誌事項
数学基礎論入門
(基礎数学シリーズ, 23)
朝倉書店, 2006.3
復刊
- タイトル読み
-
スウガク キソロン ニュウモン
電子リソースにアクセスする 全1件
-
-
数学基礎論入門
2006.3.
-
数学基礎論入門
大学図書館所蔵 全105件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
初版: 1977年刊
内容説明・目次
目次
- 数学的理論の形式化
- 命題論理
- 述語論理
- 等号をもつ述語論理
- 型の理論
- 自然数論
- 自然数の関係および関数についての形式的な表現の可能性
- ゲーデルの不完全性定理
- 補助定理の証明
- ゲーデルの第2不完全性定理
- 帰納的関数
- 帰納的関数の性質
「BOOKデータベース」 より