The central contention of this book is that second-order logic has acentral role to play in laying the foundations of mathematics. In order todevelop the argument fully, the author presents a detailed development ofhigher-order logic, including a comprehensive discussion of its semantics.
【eBookご利用の注意点】この商品をご利用するには、ソフトウェア「Adobe Digital Editions」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●動作環境：Windows　XP/Vista/７、MAC OSX　●ダウンロード回数3回まで　●同一AdobeIDの端末でファイルの共有が可能（台数制限あり）　●印刷不可　●その他ご利用条件については、ご利用規約をご確認ください。
※この商品のご購入は、教育機関、医療機関若しくは企業その他の団体に所属する「個人」の方が対象となります。図書館・図書室ではご購入いただけません。