Fundamentals of Logic and Computation, With Practical Automated Reasoning and Verification
Monograph (January 2021)
Logics for Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction: Paradoxes and Puzzels
-
Altmetric BadgeChapter 2 Introduction to Classical Logic
-
Altmetric BadgeChapter 3 Propositional Semantics: Classical and Many Valued
-
Altmetric BadgeChapter 4 General Proof Systems: Syntax and Semantics
-
Altmetric BadgeChapter 5 Hilbert Proof Systems Completeness of Classical Propositional Logic
-
Altmetric BadgeChapter 6 Automated Proof Systems Completeness of Classical Propositional Logic
-
Altmetric BadgeChapter 7 Introduction to Intuitionistic and Modal Logics
-
Altmetric BadgeChapter 8 Classical Predicate Semantics and Proof Systems
-
Altmetric BadgeChapter 9 Hilbert Proof Systems Completeness of Classical Predicate Logic
-
Altmetric BadgeChapter 10 Predicate Automated Proof Systems Completeness of Classical Predicate Logic
-
Altmetric BadgeChapter 11 Formal Theories and Gödel Theorems
Altmetric Badge
Citations
- dimensions_citation
- 2 Dimensions