任意公理系统的依赖基
임의공리계통적의뢰기
Dependency Basis of Arbitrary Axiomatic System
저자의 최근 논문