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

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

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

题目:QS4,Intuitionistic Logic and Forcing

报告人:王轶伦

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

地点:二教413