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
» 12月19日 邓徐冰报告
Events
News
Seminars
Scholarship
Others
LLCC
News
Events
News
Seminars
Scholarship
Others
LLCC
12月19日 邓徐冰报告
发布日期:2023-12-19
作者:
12月19日邓徐冰做了题为《
哥德尔不完全定理的不同证明路径
》的报告。