Publisher： Cambridge University Press
E-ISSN： 1943-5886|54|4|1456-1459
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.54, Iss.4, 1989-12, pp. : 1456-1459
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
A definition of existence in terms of abstraction and disjunction
The Journal of Symbolic Logic, Vol. 22, Iss. 4, 1957-12 ,pp. :
Access to resources
Recommend
Existence and feasibility in arithmetic
The Journal of Symbolic Logic, Vol. 36, Iss. 3, 1971-09 ,pp. :
Quasi-Modal Equivalence of Canonical Structures
The Journal of Symbolic Logic, Vol. 66, Iss. 2, 2001-06 ,pp. :
On the proof theory of the modal logic for arithmetic provability
The Journal of Symbolic Logic, Vol. 46, Iss. 3, 1981-09 ,pp. :