Abstract
In this paper we are applying certain strategy described by Negri and Von Plato (Bull Symb Log 4(04): 418-435, 1998), allowing construction of sequent......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
