Logic 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 |