13629 results in The Journal of Symbolic Logic
A. H. Lachlan. On countable stable structures which are homogeneous for a finite relational language. Israel journal of mathematics, vol. 49 (1984), pp. 69–153. - G. Cherlin and A. H. Lachlan. Stable finitely homogeneous structures. Transactions of the American Mathematical Society, vol. 296 (1986), pp. 815–850.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-352
- Print publication:
- March 1993
-
- Article
- Export citation
The International Conference on Theoretical Aspects of Computer Science, Sendai, 1991
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
- Print publication:
- March 1993
-
- Article
- Export citation
Wolfram Pohlers. Proof theory. An introduction. Lecture notes in mathematics, vol. 1407. Springer-Verlag, Berlin etc. 1989, vi + 213 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- March 1993
-
- Article
- Export citation
Richard Beigel, William I. Gasarch, and Louise Hay. Bounded query classes and the difference hierarchy. Archive for mathematical logic, vol. 29 no. 2 (1989), pp. 69–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- March 1993
-
- Article
- Export citation
Weakly normal closures of filters on Pκλ
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-63
- Print publication:
- March 1993
-
- Article
- Export citation
Richard Kaye. Models of Peano arithmetic. Oxford logic guides, no. 15. Clarendon Press, Oxford University Press, Oxford and New York1991, x + 292 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- March 1993
-
- Article
- Export citation
Does V equal L?
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-41
- Print publication:
- March 1993
-
- Article
- Export citation
JSL volume 58 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1993
-
- Article
-
- You have access
- Export citation
Algebraic types and automorphism groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-239
- Print publication:
- March 1993
-
- Article
- Export citation
Jon Barwise and John Etchemendy. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii + 259 pp. + disk. - Jon Barwise and John Etchemendy. The language of first-order logic, including the Macintosh program Tarski's world. Second edition of the preceding. CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1992 (© 1991), also distributed by the University of Chicago Press, Chicago, xiv + 297 pp. + disk.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- March 1993
-
- Article
- Export citation
Constructive set theoretic models of typed combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-118
- Print publication:
- March 1993
-
- Article
- Export citation
Extending the Curry-Howard interpretation to linear, relevant and other resource logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1365
- Print publication:
- December 1992
-
- Article
- Export citation
Forcing disabled
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1175
- Print publication:
- December 1992
-
- Article
- Export citation
Independence, randomness and the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1274-1304
- Print publication:
- December 1992
-
- Article
- Export citation
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1273
- Print publication:
- December 1992
-
- Article
- Export citation
Logic and combinatorics, Proceedings of the AMS-IMS-SIAM joint summer research conference held August 4–10, 1985, edited by Stephen Simpson, Contemporary mathematics, vol. 65, American Mathematical Society, Providence1987, xi + 394 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1497
- Print publication:
- December 1992
-
- Article
- Export citation
Canonical formulas for K4. Part I: Basic results
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1377-1402
- Print publication:
- December 1992
-
- Article
- Export citation
Solomon Feferman. Foundational ways. Perspectives in mathematics, Anniversary of Oberwolfach 1984, edited by W. Jäger, J. Moser, and R. Remmert, Birkhäuser Verlag, Basel, Boston, and Stuttgart, 1984, pp. 147–158. - Solomon Fefeŕman. Working foundations. Synthese, vol. 62 (1985), pp. 229–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1478-1479
- Print publication:
- December 1992
-
- Article
- Export citation
Stratified languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1366-1376
- Print publication:
- December 1992
-
- Article
- Export citation
Peter Gärdenfors. Knowledge in flux. Modeling the dynamics of epistemic states. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xi + 262 pp. - Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: partial meet contraction and revision functions. The journal of symbolic logic, vol. 50 (1985), pp. 510–530.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1479-1481
- Print publication:
- December 1992
-
- Article
- Export citation