Publisher: Cambridge University Press
E-ISSN: 1755-1633|36|2|351-352
ISSN: 0004-9727
Source: Bulletin of the Australian Mathematical Society, Vol.36, Iss.2, 1987-10, pp. : 351-352
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
A construction for recursive linear orderings
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
A recursive model for arithmetic with weak induction
The Journal of Symbolic Logic, Vol. 50, Iss. 1, 1985-03 ,pp. :