13629 results in The Journal of Symbolic Logic
Richard Dedekind. What are numbers and what should they be? (Was sind und was sollen die Zahlen?) Revised English translation of 70½ 1 with added notes by H. Pogorzelski, W. Ryan, and W. Snyder. RIM monographs in mathematics. Research Institute for Mathematics, Orono, Maine, 1995, viii + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-689
- Print publication:
- June 1996
-
- Article
- Export citation
Canonical formulas for K4. Part II: Cofinal subframe logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-449
- Print publication:
- June 1996
-
- Article
- Export citation
JSL volume 61 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1996
-
- Article
-
- You have access
- Export citation
The Sacks density theorem and Σ2-bounding
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-467
- Print publication:
- June 1996
-
- Article
- Export citation
Gentzenizations of relevant logics without distribution. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-401
- Print publication:
- June 1996
-
- Article
- Export citation
Erwin Engeler and Peter Läuchli. Berechnungstheorie für Informatiker. With assistance from Ronald Peikert. Leitfäden und Monographien der Informatik. B. G. Teubner, Stuttgart1988, 120 pp. - Arnold Oberschelp. Rekursionstheorie. B. I. Wissenschaftsverlag, Mannheim, Leipzig, Vienna, and Zürich, 1993, 339 pp. - Walter Felscher. Berechenbarkeit. Rekursive und programmierbare Funktionen. Springer-Lehrbuch. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, xi + 478 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 699-701
- Print publication:
- June 1996
-
- Article
- Export citation
On finite rigid structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-562
- Print publication:
- June 1996
-
- Article
- Export citation
Truth or consequences, Essays in honor of Nuel Belnap, edited by J. Michael Dunn and Anil Gupta, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xii + 378 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-693
- Print publication:
- June 1996
-
- Article
- Export citation
Did Tarski commit “Tarski's fallacy”?
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-686
- Print publication:
- June 1996
-
- Article
- Export citation
Set theoretic naturalism
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-514
- Print publication:
- June 1996
-
- Article
- Export citation
Gentzenizations of relevant logics with distribution
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-420
- Print publication:
- June 1996
-
- Article
- Export citation
Gentzenizations of relevant logics without distribution. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-378
- Print publication:
- June 1996
-
- Article
- Export citation
Alexandre Borovik and Ali Nesin. Groups of finite Morley rank. Oxford logic guides, no. 26. Clarendon Press, Oxford University Press, Oxford and New York1994, xvii + 409 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-688
- Print publication:
- June 1996
-
- Article
- Export citation
Fluted formulas and the limits of decidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-620
- Print publication:
- June 1996
-
- Article
- Export citation
Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-338
- Print publication:
- March 1996
-
- Article
- Export citation
An addition to Rosser's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-292
- Print publication:
- March 1996
-
- Article
- Export citation
Mathias absoluteness and the Ramsey property
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-194
- Print publication:
- March 1996
-
- Article
- Export citation
Adding one random real
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-90
- Print publication:
- March 1996
-
- Article
- Export citation
Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-284
- Print publication:
- March 1996
-
- Article
- Export citation
The proofs of α → α in P – W
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-211
- Print publication:
- March 1996
-
- Article
- Export citation