Abstract
This is an exposition of Novikov's cut-elimination procedure for a Hilbert-style formulation of the first-order predicate calculus, which depends on a......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
