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