蕊王. 离散数学中数理逻辑案例式教学研究. JYYJ [Internet]. 2Dec.2025 [cited 17Sep.2026];7(11). Available from: https://ojs.as-pub.com/index.php/JYYJ/article/view/12158