Publisher： Cambridge University Press
E-ISSN： 1943-5886|41|3|644-662
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.41, Iss.3, 1976-09, pp. : 644-662
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
Completeness and incompleteness for intuitionistic logic
The Journal of Symbolic Logic, Vol. 73, Iss. 4, 2008-12 ,pp. :
Access to resources
Recommend
An intuitionistic proof of Tychonoff's theorem
The Journal of Symbolic Logic, Vol. 57, Iss. 1, 1992-03 ,pp. :
On weak completeness of intuitionistic predicate logic
The Journal of Symbolic Logic, Vol. 27, Iss. 2, 1962-06 ,pp. :
Completeness of global intuitionistic set theory
The Journal of Symbolic Logic, Vol. 62, Iss. 2, 1997-06 ,pp. :
An intuitionistic proof of Kruskal’s theorem
By Veldman Wim
Archive for Mathematical Logic, Vol. 43, Iss. 2, 2004-02 ,pp. :