Description

The authors transformed the first course in Mathematical Logic ? an experience that many students view as daunting and technical ? into an inspiring journey that sails playfully yet rigorously from logic’s first principles to G?del’s Completeness Theorem. The secret sauce is making progress by writing many little Python programs instead of proving theorems, a hands-on approach that suits computer science students perfectly.’ Shimon Schocken, Reichman University

‘Mathematical logic is all about expressions and syntactic operations, and many of its best ideas find a natural home in computer science. Gonczarowski and Nisan make the subject come alive by opening it up to computational implementation and exploration.’ Jeremy Avigad, Carnegie Mellon University

‘Mathematical Logic through Python offers a refreshingly innovative approach that makes it stand out among several excellent books on mathematical logic. By building on readers’ experience and intuition through programming, it naturally provides them with a deep understanding of the fundamental concepts of mathematical logic that underly computer science.’ Yoram Moses, Technion – Israel Institute of Technology