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