Abstract
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic PA and intuitionisti......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
