Logic & Proofs

...is an introductory logic course, designed for students from a broad range of disciplines, from mathematics and computer science to drama and creative writing. It is also designed to reflect aspects of the logical tradition (going back to Aristotle) as well as the practical applicability (for example for the construction of Boolean circuits). Here one finds a detailed description of the course with many of its special features.