# Category:Book:Logic for Computer Scientists

This category contains pages that are part of the * Logic for Computer Scientists* book. If a page of the book isn't showing here, please add text

`{{BookCat}}`

to the end of the page concerned. You can view a list of all subpages under the book main page (not including the book main page itself), regardless of whether they're categorized, here.
## Pages in category "Book:Logic for Computer Scientists"

The following 36 pages are in this category, out of 36 total.

### M

- Logic for Computer Scientists/Modal Logic
- Logic for Computer Scientists/Modal Logic/Axiomatics
- Logic for Computer Scientists/Modal Logic/Kripke Semantics
- Logic for Computer Scientists/Modal Logic/Modal Logic
- Logic for Computer Scientists/Modal Logic/Modal Logic Tableaux
- Logic for Computer Scientists/Modal Logic/Multimodal Logics – An example
- Logic for Computer Scientists/Modal Logic/Syntax
- Logic for Computer Scientists/Modal Logic/Temporal Logics
- Logic for Computer Scientists/Modal Logic/Translation Method

### P

- Logic for Computer Scientists/Predicate Logic
- Logic for Computer Scientists/Predicate Logic/Equivalence and Normal Forms
- Logic for Computer Scientists/Predicate Logic/Herbrand Theories
- Logic for Computer Scientists/Predicate Logic/Predicate Logic
- Logic for Computer Scientists/Predicate Logic/Resolution
- Logic for Computer Scientists/Predicate Logic/SATCHMO
- Logic for Computer Scientists/Predicate Logic/Semantic Trees
- Logic for Computer Scientists/Predicate Logic/Semantics
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution/A Prolog-like Implementation
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution/Input and Unit Resolution
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution/Iterative Deepending
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution/Linear Resolution
- Logic for Computer Scientists/Predicate Logic/Strategies for Resolution/SLD-Resolution
- Logic for Computer Scientists/Predicate Logic/Syntax
- Logic for Computer Scientists/Preface
- Logic for Computer Scientists/Propositional Logic
- Logic for Computer Scientists/Propositional Logic/Analytic Tableaux
- Logic for Computer Scientists/Propositional Logic/Equivalence and Normal Forms
- Logic for Computer Scientists/Propositional Logic/Horn clauses
- Logic for Computer Scientists/Propositional Logic/Preliminaries
- Logic for Computer Scientists/Propositional Logic/Resolution
- Logic for Computer Scientists/Propositional Logic/Semantics
- Logic for Computer Scientists/Propositional Logic/Syntax