13629 results in The Journal of Symbolic Logic
Joan Weiner. Frege in perspective. Cornell University Press, Ithaca and London1990, xvii + 307 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- March 1992
-
- Article
- Export citation
Additive reducts of real closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-117
- Print publication:
- March 1992
-
- Article
- Export citation
Decomposing Baire functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
- Print publication:
- December 1991
-
- Article
- Export citation
Interpreting groups in ω-categorical structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1317-1324
- Print publication:
- December 1991
-
- Article
- Export citation
Decidable discriminator varieties from unary varieties
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1355-1368
- Print publication:
- December 1991
-
- Article
- Export citation
Stevo Todorcevic. Partition problems in topology. Contemporary mathematics, vol. 84. American Mathematical Society, Providence1989, xi + 116 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1488-1490
- Print publication:
- December 1991
-
- Article
- Export citation
An undecidable problem in correspondence theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1272
- Print publication:
- December 1991
-
- Article
- Export citation
Properties of independently axiomatizable bimodal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1469-1485
- Print publication:
- December 1991
-
- Article
- Export citation
Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1500
- Print publication:
- December 1991
-
- Article
- Export citation
James Cooke Brown. Loglan 1: a logical language. Fourth edition. The Loglan Institute, Gainesville1989, 599 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1494-1495
- Print publication:
- December 1991
-
- Article
- Export citation
Continuity and nondiscontinuity in constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1349-1354
- Print publication:
- December 1991
-
- Article
- Export citation
The Härtig quantifier: a survey
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1183
- Print publication:
- December 1991
-
- Article
- Export citation
A construction of superstable ndop-notop groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1390
- Print publication:
- December 1991
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
- Print publication:
- December 1991
-
- Article
- Export citation
Robert Goldblatt. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1495-1496
- Print publication:
- December 1991
-
- Article
- Export citation
On a problem of C. H. Dowker
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1284-1289
- Print publication:
- December 1991
-
- Article
- Export citation
JSL volume 56 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1991
-
- Article
-
- You have access
- Export citation
Independence and consistency proofs in quadratic form theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1195-1211
- Print publication:
- December 1991
-
- Article
- Export citation
Newton C. A. da Costa. Ensaio sobre os fundamentos da lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, xii + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1500-1503
- Print publication:
- December 1991
-
- Article
- Export citation
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's thesis is consistent with epistemic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 121–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1499
- Print publication:
- December 1991
-
- Article
- Export citation