An introduction to proofs and problem solving, set theory, two- and multivalued logic.

Prerequisites: Mathematics (6) and 2nd year standing required
Further information: Course availability and times