79,75 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Propositional and predicate logic are presented in an easy-to-read style using Gentzen¿s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.
In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included.
The last chapter on Gödel's first incompleteness theorem is self-containedand provides a systematic exposition of the necessary recursion theory.
This new edition has been properly revised and contains a new section on ultra-products.
Propositional and predicate logic are presented in an easy-to-read style using Gentzen¿s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.
In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included.
The last chapter on Gödel's first incompleteness theorem is self-containedand provides a systematic exposition of the necessary recursion theory.
This new edition has been properly revised and contains a new section on ultra-products.
Features a self-contained introduction into classical and intuitionistic logic using Gentzen's natural deduction
Includes the basics of recursion, proof and model theory (including a new section on ultraproducts)
Gives a comprehensive account of Goedel's Incompleteness Theorem within the framework of natural deduction
Includes supplementary material: [...]
Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.
| Erscheinungsjahr: | 2012 |
|---|---|
| Fachbereich: | Populäre Darstellungen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Universitext |
| Inhalt: |
x
263 S. 27 s/w Illustr. 263 p. 27 illus. |
| ISBN-13: | 9781447145578 |
| ISBN-10: | 1447145577 |
| Sprache: | Englisch |
| Herstellernummer: | 86101173 |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dalen, Dirk Van |
| Auflage: | 5th ed. 2013 |
| Hersteller: |
Springer London
Springer-Verlag London Ltd. Universitext |
| Maße: | 235 x 155 x 16 mm |
| Von/Mit: | Dirk Van Dalen |
| Erscheinungsdatum: | 13.11.2012 |
| Gewicht: | 0,423 kg |
Features a self-contained introduction into classical and intuitionistic logic using Gentzen's natural deduction
Includes the basics of recursion, proof and model theory (including a new section on ultraproducts)
Gives a comprehensive account of Goedel's Incompleteness Theorem within the framework of natural deduction
Includes supplementary material: [...]
Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.
| Erscheinungsjahr: | 2012 |
|---|---|
| Fachbereich: | Populäre Darstellungen |
| Genre: | Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Universitext |
| Inhalt: |
x
263 S. 27 s/w Illustr. 263 p. 27 illus. |
| ISBN-13: | 9781447145578 |
| ISBN-10: | 1447145577 |
| Sprache: | Englisch |
| Herstellernummer: | 86101173 |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Dalen, Dirk Van |
| Auflage: | 5th ed. 2013 |
| Hersteller: |
Springer London
Springer-Verlag London Ltd. Universitext |
| Maße: | 235 x 155 x 16 mm |
| Von/Mit: | Dirk Van Dalen |
| Erscheinungsdatum: | 13.11.2012 |
| Gewicht: | 0,423 kg |
Ähnliche Produkte
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 4-7 Werktage