Logic: A Brief Course

• Main Author: Mundici, Daniele (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Milano : Springer Milan : Imprint: Springer, 2012.
• Series: UNITEXT,
• Subjects: Mathematics.; Mathematical logic.; Semantics.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's c...

Table of Contents:

• Introduction
• Fundamental Logical Notions
• The Resolution Method
• Robinson Completeness Theorem
• Fast Classes for DPP
• Godel Compactness Theorem
• Propositional Logic: Syntax
• Propositional Logic: Semantics
• Normal Forms
• Recap: Expressivity and Efficiency
• The Quantifiers ‘There Exists’ and ‘For All’
• Syntax of Predicate Logic
• The Meaning of Clauses
• Godel Completeness Theorem for the Logic of Clauses
• Equality Axioms
• The Predicate Logic L.