Publisher: Cambridge University Press
E-ISSN: 1943-5886|80|4|1211-1235
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.80, Iss.4, 2015-12, pp. : 1211-1235
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
Can there be no nonrecursive functions?
The Journal of Symbolic Logic, Vol. 36, Iss. 2, 1971-06 ,pp. :
Nonrecursive combinatorial functions
The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. :
Diagonally Non-Computable Functions and Bi-Immunity
The Journal of Symbolic Logic, Vol. 78, Iss. 3, 2013-09 ,pp. :
Nonrecursive tilings of the plane. I
The Journal of Symbolic Logic, Vol. 39, Iss. 2, 1974-06 ,pp. :