Author： Simmons Harold
Publisher： Springer Publishing Company
ISSN： 0933-5846
Source： Archive for Mathematical Logic, Vol.43, Iss.1, 2004-01, pp. : 65-83
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
Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. :
Access to resources
Recommend
Normal functions and constructive ordinal notations
The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. :
Systems of notations and the ramified analytical hierarchy
The Journal of Symbolic Logic, Vol. 39, Iss. 2, 1974-01 ,pp. :