蕊王. (2025) “离散数学中数理逻辑案例式教学研究”, 教育与研究, 7(11). doi: 10.59429/jyyj.v7i11.12158.