Skip to main content
Back to top
Ctrl
+
K
Logical Foundations of Computing
Introduction
The Book Project
Big Ideas of Logic
Propositional Logic
Modal Logic
Logics and Tools
1. SAT solving with MiniSat
2. Logic Programming with Prolog
3. Constraints with MiniZinc
4. SMT Solving and Z3
5. Temporal Logic with Spin
6. Epistemic Logic with SMCDEL
7. Hoare Logic with Dafny
8. Higher-Order Logic with Isabelle
9. Type Theory with Lean
Appendices
Hoare Logic
Syllogistic Logics in Isabelle
Complexity Classes Overview
Resources on Puzzles
Style Guide
How to Cite References
How to Contribute
Repository
Open issue
Index