Publisher： Cambridge University Press
E-ISSN： 1943-5886|39|4|700-716
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.39, Iss.4, 1974-12, pp. : 700-716
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
All or none; A novel choice of primitives for elementary logic
The Journal of Symbolic Logic, Vol. 32, Iss. 3, 1967-10 ,pp. :
Access to resources
Recommend
Cauchy completeness in elementary logic
The Journal of Symbolic Logic, Vol. 61, Iss. 4, 1996-12 ,pp. :
An elementary definability theorem for first order logic
The Journal of Symbolic Logic, Vol. 64, Iss. 3, 1999-09 ,pp. :
Orthomodularity is not elementary
The Journal of Symbolic Logic, Vol. 49, Iss. 2, 1984-06 ,pp. :
On models of the elementary theory of (Z, +, 1)
The Journal of Symbolic Logic, Vol. 55, Iss. 1, 1990-03 ,pp. :