- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Mathematics
- > basics
基本説明
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.
