直觉主义逻辑与程序设计语言

演示文稿

日期
3月 28, 2023 3:00 PM — 6:00 PM
事件
北京大学逻辑讨论班
王迪
王迪
助理教授

朝着思想自由、兼容并包的计算机科学前进！