Publisher： Cambridge University Press
E-ISSN： 1943-5886|42|4|530-544
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.42, Iss.4, 1977-12, pp. : 530-544
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
Axiomatizing Kolmogorov Complexity
Theory of Computing Systems, Vol. 52, Iss. 1, 2013-01 ,pp. :
Access to resources
Recommend
Axiomatizing Kripke's theory of truth
The Journal of Symbolic Logic, Vol. 71, Iss. 2, 2006-06 ,pp. :
Axiomatizing universal properties of quantifiers
The Journal of Symbolic Logic, Vol. 56, Iss. 3, 1991-09 ,pp. :
Axiomatizing a category of categories
The Journal of Symbolic Logic, Vol. 56, Iss. 4, 1991-12 ,pp. :