Vue d'ensemble
Philosophie : A course in intermediate logic for graduate students in Philosophy, covering such topics as axiomatic systems, formal semantics, consistency, completeness, the limitative results, intuitionistic logic, formal theories of truth, aspects of the development of logic.
Trimestres : Hiver 2016
Charg茅s de cours : Aucun professeur n鈥檈st associ茅 脿 ce cours pour l鈥檃nn茅e universitaire 2015-2016.