数理逻辑 Logic for Mathematicians:北京大学信息科学系林作铨老师主讲
课程主页http://www.math.pku.edu.cn/teachers/linzq/
(主页可能随开课情况随时变化)
参考教材 Logic for Mathematicians(Revised Edition)
A.G.Hamilton,清华大学出版社(影印版)
楼主: 2023Hua
|
177
1
[课件与资料] 数理逻辑 Logic for Mathematicians:北京大学 |
学术权威 88%
-
|
| ||
京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明 免责及隐私声明