Publisher: Cambridge University Press
E-ISSN: 1943-5886|41|2|427-435
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.41, Iss.2, 1976-06, pp. : 427-435
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
Some recent developments in higher recursion theory
The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. :
TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
The Journal of Symbolic Logic, Vol. 80, Iss. 3, 2015-07 ,pp. :
A hierarchy for the 1-section of any type two object
The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. :
The Journal of Symbolic Logic, Vol. 54, Iss. 2, 1989-06 ,pp. :