Check nearby libraries
Buy this book
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic on the basis of Gentzen's Natural Deduction and the traditional two-valued semantics, culminating in the completeness theorems. The first chapter, containing a leisured treatment of propositional logic, is followed by an equally elaborate chapter on predicate logic.
On the basis of the material of the first two chapters the completeness theorem is established and an excursion is made into model theory. The main facts of model theory, e.g. compactness, Skolem-Lowenheim, elementary equivalence, non-standard models, quantified elimination and Skolem functions are covered in Chapter Three.
- The exposition of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. This chapter contains a completeness proof for Kripke's semantics and a number of specific constructive features have been incorporated, e.g. a study of equality and apartness, in the disjunction and existence property, the Godel translation.
A new chapter has been added at the end of this edition, with the basics of the proof theory of natural deduction; derivations are studied for their own sake and weak normalisation is proved. A choice of exercises is added ranging from simple applications of the definitions to more sophisticated problems.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [211]) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 15 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
September 28, 2024 | Edited by MARC Bot | import existing book |
July 14, 2024 | Edited by MARC Bot | import existing book |
December 19, 2023 | Edited by ImportBot | import existing book |
August 17, 2021 | Edited by MARC Bot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |