Abstract
Herbrand structures have the advantage, computationally speaking, of being guided by the definability of all elements in them. A salient feature of th......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
