Publisher： Cambridge University Press
E-ISSN： 1943-5894|17|1|73-117
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.17, Iss.1, 2011-03, pp. : 73-117
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
The Journal of Symbolic Logic, Vol. 82, Iss. 1, 2017-01 ,pp. :
Access to resources
Recommend
Alan Turing and the Foundations of Computable Analysis
Bulletin of Symbolic Logic, Vol. 17, Iss. 3, 2011-09 ,pp. :
Ramsey's theorem in the hierarchy of choice principles
The Journal of Symbolic Logic, Vol. 42, Iss. 3, 1977-09 ,pp. :