数学基礎論入門

前原昭二 著

[目次]

  • 数学的理論の形式化
  • 命題論理
  • 述語論理
  • 等号をもつ述語論理
  • 型の理論
  • 自然数論
  • 自然数の関係および関数についての形式的な表現の可能性
  • ゲーデルの不完全性定理
  • 補助定理の証明
  • ゲーデルの第2不完全性定理
  • 帰納的関数
  • 帰納的関数の性質

「BOOKデータベース」より

この本の情報

書名 数学基礎論入門
著作者等 前原 昭二
書名ヨミ スウガク キソロン ニュウモン
書名別名 Sugaku kisoron nyumon
シリーズ名 基礎数学シリーズ 26
出版元 朝倉書店
刊行年月 1977.6
版表示 復刊
ページ数 201p
大きさ 22cm
ISBN 425411723X
NCID BA7655555X
BN00132131
※クリックでCiNii Booksを表示
全国書誌番号
77018963
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想