Publisher： Cambridge University Press
E-ISSN： 1943-5886|65|4|1858-1862
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.65, Iss.4, 2000-12, pp. : 1858-1862
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 Rise and Fall of the Cuban Rural Guard, 1898-1912
The Americas, Vol. 29, Iss. 2, 1972-10 ,pp. :
Access to resources
Recommend
Boom and Bust: The Rise and Fall of the Tobacco Industry in Spanish Louisiana, 1770-1790
The Americas, Vol. 42, Iss. 3, 1986-03 ,pp. :
Truth In V for ∃*∀∀-Sentences is Decidable
The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. :
Sentences implying their own provability
The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. :
Extremely undecidable sentences
The Journal of Symbolic Logic, Vol. 47, Iss. 1, 1982-03 ,pp. :