Font, J. M., & Rodríguez, G. (1994). Algebraic study of two deductive systems of relevance logic. Notre Dame Journal of Formal Logic, 35, 369–397. 45.
確定！ 回上一頁
