Publisher： Cambridge University Press
E-ISSN： 1755-1633|72|2|225-250
ISSN： 0004-9727
Source： Bulletin of the Australian Mathematical Society, Vol.72, Iss.2, 2005-10, pp. : 225-250
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
Bulletin of the Australian Mathematical Society, Vol. 67, Iss. 2, 2003-04 ,pp. :
Access to resources
Recommend
Selection in abstract recursion theory
The Journal of Symbolic Logic, Vol. 41, Iss. 1, 1976-03 ,pp. :
Inverse topological systems and compactness in abstract model theory
The Journal of Symbolic Logic, Vol. 51, Iss. 3, 1986-09 ,pp. :
Daniel Quillen, the father of abstract homotopy theory
Journal of K-Theory, Vol. 11, Iss. 3, 2013-06 ,pp. :
Lambek's categorical proof theory and Läuchli's abstract realizability
The Journal of Symbolic Logic, Vol. 57, Iss. 1, 1992-03 ,pp. :