Phil 76600

CSc75100, Fall 2015

Sergei Artemov

Guest Lecture, Melvin Fitting, October 13, 2015: Tableaus for classical and intuitionistic logics.

Guest Lecture, Melvin Fitting, October 20, 2015: Tableaus for classical and intuitionistic logics.