Publisher： Cambridge University Press
E-ISSN： 1943-5886|55|3|1143-1167
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.55, Iss.3, 1990-09, pp. : 1143-1167
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
The axiomatization of arithmetic
The Journal of Symbolic Logic, Vol. 22, Iss. 2, 1957-06 ,pp. :
Access to resources
Recommend
Affine Generalized Quadrangles – An Axiomatization
By Pralle H.
Geometriae Dedicata, Vol. 84, Iss. 1-3, 2001-02 ,pp. :
Axiomatization of polynomial substitution algebras
The Journal of Symbolic Logic, Vol. 47, Iss. 3, 1982-09 ,pp. :
An axiomatization of the logic with the rough quantifier
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
Foundations and Applications: Axiomatization and Education
Bulletin of Symbolic Logic, Vol. 9, Iss. 2, 2003-06 ,pp. :