Publisher： Cambridge University Press
E-ISSN： 1943-5886|18|1|1-6
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.18, Iss.1, 1953-03, pp. : 1-6
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
Concatenation as a basis for arithmetic
The Journal of Symbolic Logic, Vol. 11, Iss. 4, 1946-12 ,pp. :
Access to resources
Recommend
The classical and the
The Journal of Symbolic Logic, Vol. 23, Iss. 2, 1958-06 ,pp. :
A simple model for a weak system of arithmetic
Bulletin of the Australian Mathematical Society, Vol. 11, Iss. 3, 1974-12 ,pp. :
Presburger arithmetic with unary predicates is
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
On the basis number of some complete bipartite graphs
Bulletin of the Australian Mathematical Society, Vol. 31, Iss. 3, 1985-06 ,pp. :