(ξ)*命题集的约简及命题集的根
(ξ)*명제집적약간급명제집적근
Reduction of a Propositional Set and Its Roots in (ξ)* System
저자의 최근 논문