Learning mathematical logic
Prof. Mordechai Ben-Ari
I revised my textbook on the subject to include new areas that have become important, in particular, the use of SAT solvers. I developed a software tool called LearnSAT for students learning about SAT solvers.
- M. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012.
- M. Ben-Ari. LearnSAT: A SAT Solver for Education. 16th International Conference on Theory and Applications of Satisfiability Testing, Springer LNCS 7962, pp. 403–407, 2013.
Link to project website