2012 2013 Teaching 12

Undergraduate, University of Amsterdam, 1900

An introductory course on formal logic. Topics include propositional and first-order logic, natural deduction, sequent calculi, tableaux.