Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
»
News
»
News
» 3月30日陈至诚报告
Events
News
Seminars
Scholarship
Others
LLCC
News
Events
News
Seminars
Scholarship
Others
LLCC
3月30日陈至诚报告
发布日期:2021-04-01
作者:
3月30日,陈至诚做了题为《一阶逻辑的代入》的报告。