Publisher： Cambridge University Press
E-ISSN： 1943-5886|57|1|28-32
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.57, Iss.1, 1992-03, pp. : 28-32
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
An intuitionistic proof of Kruskal’s theorem
By Veldman Wim
Archive for Mathematical Logic, Vol. 43, Iss. 2, 2004-02 ,pp. :
Access to resources
Recommend
Tychonoff's theorem in the framework of formal topologies
The Journal of Symbolic Logic, Vol. 62, Iss. 4, 1997-12 ,pp. :
Another intuitionistic completeness proof
The Journal of Symbolic Logic, Vol. 41, Iss. 3, 1976-09 ,pp. :
A New Proof of Bartholdi's Theorem
Journal of Algebraic Combinatorics, Vol. 22, Iss. 3, 2005-11 ,pp. :
A proof of the no rational invariant theorem
Journal of Difference Equations and Applications, Vol. 12, Iss. 7, 2006-07 ,pp. :