Logic & Proofs is designed for students from a broad range of disciplines, from mathematics and computer science to drama and creative writing. It is also designed for someone who would like to get a real insight into modern symbolic logic. The course is highly interactive and engaging; it brings a fresh perspective to classical material. These features make it possible for any student to master the material  —  by supporting their individual learning.  After all, students in such introductory courses have quite diverse backgrounds and strikingly different perspectives on the courses' formal aspects. Students from the arts or from the humanities may need more examples and, very importantly, more time to absorb material and to practice with helpful feedback; it is remarkable how well they actually can do. 

The presentation is multi-modal: each chapter is introduced by a concise lecture that formulates its central notions and techniques and motivates its learning objectives. In the main text, each central concept is also introduced by a brief lecture; each important technique is examined and used in a particular example. That kind of discussion is followed by interactive learning environments, namely, "Did I get this?"  exercises that are essentially multiple-choice problems, and "Learn by doing" exercises that are genuine cognitive tutors. The most sophisticated ILE is the LogicLab.

The course material is carefully scaffolded and has been iteratively improved —  using the feedback of both the many students who have taken the course and their instructors. Each chapter features review materials and assignments that include both quizzes and lab problems. The quizzes and practice questions provide fully automated feedback to students.  The practice lab problems offer support by the Dynamic Tutor. In sum, the course and all its ILEs support the individual learning of students.