蕊王., “离散数学中数理逻辑案例式教学研究”, JYYJ, vol. 7, no. 11, Dec. 2025.