数学形式化的利与弊研究及反思
수학형식화적리여폐연구급반사
저자의 최근 논문