|
ゲスト さん （ログイン） |
|
|
ゲスト さん （ログイン） |
|
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料！新刊予約・通販も。本（書籍）、雑誌、漫画（コミック）など在庫も充実
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら
 |
 |
のマークが目印です。
HonyaClub会員規約個人情報の取扱いに関する規程
[BOOKデータベースより]
ゲーデルの証明の基礎概念
[日販商品データベースより]算術におけるタルスキーの定理
べき乗に基づくペアノ算術における不完全性
べき乗に基づかない算術
ω無矛盾性に基づくゲーデルの証明
ロッサー体系
シェファードソンの表現定理
定義可能性と対角化
無矛盾性の証明不可能性
証明可能性と真理性に関する一般概念
自己言及体系
『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。読者より受けたさまざまなコメントも参照しながら、訳文に加筆修正を加えた。