Learning mathematical logic

Leading team

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.

Related articles

Link to project website