# Learning mathematical logic

## Leading team

Prof. Mordechai Ben-Ari

## Summary

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.

## Related articles

- M. Ben-Ari. Mathematical Logic for Computer Science (Third Edition). Springer, 2012.

http://www.springer.com/978-1-4471-4128-0 - 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.

http://link.springer.com/chapter/10.1007/978-3-642-39071-5_30

## Link to project website