Abstract
We consider clopen game formulae, analogous to the open game formulae widely studied in admissible recursion theory. This leads to characterizing the ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
