uedbet,uedbet体育,uedbet官网

2010年2月，逻辑学研究室张清宇、刘新文、夏素敏主编的《数理逻辑》一书由中国社会科学出版社出版，全书共计18.5万字。该书被列为“中国社会科学院研究生重点教材”，主要介绍数理逻辑的基本内容，这些内容为学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究数理逻辑的专门知识和问题提供了基础。