面向计算机科学的数理逻辑-陆钟万

[视频作者] arra1888

[视频时长] 1658:51

[视频类型] 科学科普

陆钟万讲授的数理逻辑课程。教材为陆钟万著《面向计算机科学的数理逻辑》。 视频共29讲，由于年代久远，部分视频不完整。