Abstract
We show that the types of the witnesses in the Herbrand functional interpretation can be simplified, avoiding the use of "sets of functionals" in the ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
