Home» News» Seminars» 12月8日王轶伦报告：《QS4, Intuitionistic Logic and Forcing》

News

12月8日王轶伦报告：《QS4, Intuitionistic Logic and Forcing》

发布日期：2020-12-08 作者：

题目：QS4,Intuitionistic Logic and Forcing

报告人：王轶伦

时间：12月8日 15:10-18:00

地点：二教413