Publisher: Cambridge University Press
E-ISSN: 1943-5886|51|3|778-784
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.51, Iss.3, 1986-09, pp. : 778-784
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
A simple solution of the uniform halting problem
The Journal of Symbolic Logic, Vol. 34, Iss. 4, 1970-02 ,pp. :