Logic and Structure

• Main Author: Dalen, Dirk van (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Edition: 5th ed. 2013.
• Series: Universitext,
• Subjects: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

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

Table of Contents:

• Introduction
• Propositional Logic
• Predicate Logic
• Completeness and Applications
• Second Order Logic
• Intuitionistic Logic
• Normalization
• Gödel's theorem.