Mathematical Logic for Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Propositional Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 3 Propositional Logic: Deductive Systems
-
Altmetric BadgeChapter 4 Propositional Logic: Resolution
-
Altmetric BadgeChapter 5 Propositional Logic: Binary Decision Diagrams
-
Altmetric BadgeChapter 6 Propositional Logic: SAT Solvers
-
Altmetric BadgeChapter 7 First-Order Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 8 First-Order Logic: Deductive Systems
-
Altmetric BadgeChapter 9 First-Order Logic: Terms and Normal Forms
-
Altmetric BadgeChapter 10 First-Order Logic: Resolution
-
Altmetric BadgeChapter 11 First-Order Logic: Logic Programming
-
Altmetric BadgeChapter 12 First-Order Logic: Undecidability and Model Theory *
-
Altmetric BadgeChapter 13 Temporal Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 14 Temporal Logic: A Deductive System
-
Altmetric BadgeChapter 15 Verification of Sequential Programs
-
Altmetric BadgeChapter 16 Verification of Concurrent Programs
