↓ Skip to main content
What is this page? Embed badge

Mathematical Logic for Computer Science

Overview of attention for book
Cover of 'Mathematical Logic for Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Propositional Logic: Formulas, Models, Tableaux
  4. Altmetric Badge
    Chapter 3 Propositional Logic: Deductive Systems
  5. Altmetric Badge
    Chapter 4 Propositional Logic: Resolution
  6. Altmetric Badge
    Chapter 5 Propositional Logic: Binary Decision Diagrams
  7. Altmetric Badge
    Chapter 6 Propositional Logic: SAT Solvers
  8. Altmetric Badge
    Chapter 7 First-Order Logic: Formulas, Models, Tableaux
  9. Altmetric Badge
    Chapter 8 First-Order Logic: Deductive Systems
  10. Altmetric Badge
    Chapter 9 First-Order Logic: Terms and Normal Forms
  11. Altmetric Badge
    Chapter 10 First-Order Logic: Resolution
  12. Altmetric Badge
    Chapter 11 First-Order Logic: Logic Programming
  13. Altmetric Badge
    Chapter 12 First-Order Logic: Undecidability and Model Theory *
  14. Altmetric Badge
    Chapter 13 Temporal Logic: Formulas, Models, Tableaux
  15. Altmetric Badge
    Chapter 14 Temporal Logic: A Deductive System
  16. Altmetric Badge
    Chapter 15 Verification of Sequential Programs
  17. Altmetric Badge
    Chapter 16 Verification of Concurrent Programs
Attention for Chapter 10: First-Order Logic: Resolution
Altmetric Badge

Citations

dimensions_citation
61 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 61 publications that cite this research output.

61

The most recent citing publications are shown below. View all 61 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.