Vue d'ensemble
Math茅matiques et Statistiques (Sci) : Propositional calculus, truth-tables, switching circuits, natural deduction, first order predicate calculus, axiomatic theories, set theory.
Trimestres : Automne 2015
Charg茅s de cours : Sabok, Marcin (Fall)
Fall
Restriction: Not open to students who are taking or have taken PHIL 210