Author： Marichal Jean-Luc Mesiar Radko
Publisher： Springer Publishing Company
ISSN： 0167-8094
Source： Order, Vol.21, Iss.2, 2004-05, pp. : 155-180
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
Ordinal analysis of terms of finite type
The Journal of Symbolic Logic, Vol. 45, Iss. 3, 1980-09 ,pp. :
Access to resources
Recommend
Normal functions and constructive ordinal notations
The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. :
Primitive recursive ordinal functions with added constants
The Journal of Symbolic Logic, Vol. 42, Iss. 1, 1977-03 ,pp. :
Functions and functional on finite systems
The Journal of Symbolic Logic, Vol. 57, Iss. 1, 1992-03 ,pp. :