Publisher： Cambridge University Press
E-ISSN： 1943-5886|43|4|650-658
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.43, Iss.4, 1978-12, pp. : 650-658
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
Consistency and completeness of the theory of combinators
The Journal of Symbolic Logic, Vol. 6, Iss. 2, 1941-06 ,pp. :
Access to resources
Recommend
Completeness in the theory of types
The Journal of Symbolic Logic, Vol. 15, Iss. 2, 1950-06 ,pp. :
Completeness of global intuitionistic set theory
The Journal of Symbolic Logic, Vol. 62, Iss. 2, 1997-06 ,pp. :
Completeness in the theory of properties, relations, and propositions
The Journal of Symbolic Logic, Vol. 48, Iss. 2, 1983-06 ,pp. :
A completeness theorem for Zermelo-Fraenkel set theory
The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. :