从数学归纳法教学管窥形式化与非形式化的融合
종수학귀납법교학관규형식화여비형식화적융합
저자의 최근 논문