Event
Michael Makkai (McGill)
Tuesday, March 21, 2017 15:00to16:00
Burnside Hall
Room 920, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA
First-order logic with dependent sorts (FOLDS) and the related generalization of the concept of isomorphism, "FOLDS equivalence" II