不完全性定理に関するゲーデルの理論についての入門書であり、数学基礎論全般に対する入門書。ゲーデルの証明をていねいに追うことで、論理計算の実際を知り、また記号論理の実質的な意味を理解できる。
【eBookご利用の注意点】
この商品をご利用するには、ソフトウェア「CypherGuared PDF」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●
動作環境はこちらでご確認ください。 ●同一ライセンスIDでの利用端末数3台まで ●TEXT/画像コピー不可 ●印刷不可 ●その他ご利用条件については、
ご利用規約をご確認ください。
※この商品のご購入は、個人の方が対象となります。図書館・図書室ではご購入いただけません。 
