Publisher: Cambridge University Press
E-ISSN: 1943-5886|36|4|653-665
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.36, Iss.4, 1971-12, pp. : 653-665
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 reduction of the recursion scheme
The Journal of Symbolic Logic, Vol. 32, Iss. 4, 1968-02 ,pp. :
Bulletin of Symbolic Logic, Vol. 2, Iss. 3, 1996-09 ,pp. :
The Journal of Symbolic Logic, Vol. 30, Iss. 1, 1965-03 ,pp. :
The Universal Kolyvagin Recursion Implies the Kolyvagin Recursion
By Ouyang Yi
Acta Mathematica Sinica, Vol. 23, Iss. 7, 2007-07 ,pp. :
By Komara Ján
Archive for Mathematical Logic, Vol. 50, Iss. 5-6, 2011-07 ,pp. :