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.
Terms: Automne 2024, Hiver 2025
Instructors: There are no professors associated with this course for the 2024-2025 academic year.
