論理と構造（第４版） Logic and Structure (Universitext) （4TH）

Dalen, Dirk van

Springer（2004発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 268 p.
• 商品コード 9783540208792

基本説明

Contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. Contains a completely new chapter on the incompleteness of arithmetic.

Full Description

New corrected printing of a well-established text on logic at the introductory level.

Contents

Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.