题目：Independence-friendly Logic
主讲人：曾图
时间：2020/4/6 15:10-18:00
腾讯会议ID：348 820 887
腾讯会议网址：https://meeting.tencent.com/s/567slpOea967
