close
You must be logged in for this

close
Add to Favorites

close
Cite This Record

**APA Citation**

Ben-Ari, Mordechai.
()
*Mathematical Logic for Computer Science*

**MLA Citation**

These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.

close
Email This Record

You must be logged in to Tag Records

# Mathematical Logic for Computer Science [electronic resource] /

### by Mordechai Ben-Ari.

Author: | Ben-Ari, Mordechai. |
---|---|

Published: | London : Springer London : Imprint: Springer, 2012. |

Edition: | 3rd ed. 2012. |

Topics: | Computer science. | Logic, Symbolic and mathematical. | Computer Science. | Mathematical Logic and Formal Languages. | Mathematical Logic and Foundations. |

Online Access: |
Link to Mathematical Logic for Computer Science (Opens in a new window) (access limited to Benedictine University patrons) |

Tags: | Add |

Preface -- Introduction -- Propositional Logic: Formulas, Models, Tableaux -- Propositional Logic: Deductive Systems -- Propositional Logic: Resolution -- Propositional Logic: Binary Decision Diagrams -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic: Deductive Systems -- First-Order Logic: Terms and Normal Forms -- First-Order Logic: Resolution -- First-Order Logic: Logic Programming -- First-Order Logic: Undecidability and Model Theory -- Temporal Logic: Formulas, Models, Tableaux -- Temporal Logic: A Deductive System -- Verification of Sequential Programs -- Verification of Concurrent Programs -- Set Theory -- Index of Symbols -- Index of Names -- Subject Index.