Logic and Structure

• Κύριος συγγραφέας: Dalen, Dirk van (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Έκδοση: 5th ed. 2013.
• Σειρά: Universitext,
• Θέματα: 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...

Πίνακας περιεχομένων:

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