30-数理逻辑-全称引入规则及存在消除规则

Loading...
From the course by Peking University
离散数学概论 Discrete Mathematics Generality
118 ratings

Meet the Instructors

  • 陈斌
    陈斌
    副教授
    北京大学