数学基礎論入門

＜図書＞
数学基礎論入門
スウガクキソロンニュウモン

責任表示	前原昭二著
シリーズ	基礎数学シリーズ ; 23
データ種別	図書
版	復刊
出版情報	東京 : 朝倉書店 , 2006.3
本文言語	日本語
大きさ	x, 201p ; 26cm
目次	数学的理論の形式化命題論理述語論理等号をもつ述語論理型の理論自然数論自然数の関係および関数についての形式的な表現の可能性ゲーデルの不完全性定理補助定理の証明ゲーデルの第2不完全性定理帰納的関数帰納的関数の性質続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6828782

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図1F 開架	410.9/Ma 27	2009		022112009000691		予約・取寄			予約・取寄