Screen LibraryLogic and structure
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-...
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Edition: | 5th ed. |
| Series: |
Universitext,
|
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-1-4471-4558-5 |
| Summary: |
Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's famous incompleteness theorem. 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 ... |
| Carrier Form: | 1 online resource (x, 263 p.) |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9781447145585 (electronic bk.) 1447145585 (electronic bk.) |
| Index Number: | QA9 |
| CLC: | O141 |