Publisher： Cambridge University Press
E-ISSN： 1533-6247|42|4|498-499
ISSN： 0003-1615
Source： The Americas, Vol.42, Iss.4, 1986-04, pp. : 498-499
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
The Americas, Vol. 50, Iss. 1, 1993-01 ,pp. :
Access to resources
Recommend
New Association Of Historians Founded In Brazil
The Americas, Vol. 39, Iss. 3, 1983-01 ,pp. :
A construction of non-well-founded sets within Martin-Löf's type theory
The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. :
Models of non-well-founded sets via an indexed final coalgebra theorem
The Journal of Symbolic Logic, Vol. 72, Iss. 3, 2007-09 ,pp. :