13629 results in The Journal of Symbolic Logic
Derivation rules as anti-axioms in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1034
- Print publication:
- September 1993
-
- Article
- Export citation
The undecidability of the disjunction property of propositional logics and other related problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 967-1002
- Print publication:
- September 1993
-
- Article
- Export citation
Bruno Poizat. Corns de théorie des modèles. Une introduction à la logique mathématique contemporaine. Nur al-Mantiq wal-Ma’rifah, Villeurbanne1985, vi + 584 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1074-1075
- Print publication:
- September 1993
-
- Article
- Export citation
JSL volume 58 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1993
-
- Article
-
- You have access
- Export citation
Colin McLarty. Elementary categories, elementary toposes. Oxford logic guides, no. 21. Clarendon Press, Oxford University Press, Oxford and New York1992, xiii + 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1076
- Print publication:
- September 1993
-
- Article
- Export citation
Keith Devlin. Logic and information. Cambridge University Press, Cambridge etc. 1991, xii + 308 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1084
- Print publication:
- September 1993
-
- Article
- Export citation
Reducts of some structures over the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 955-966
- Print publication:
- September 1993
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1152
- Print publication:
- September 1993
-
- Article
- Export citation
James Van Aken. Axioms for the set-theoretic hierarchy. The journal of symbolic logic, vol. 51 (1986), pp. 992–1004. - Stephen Pollard. More axioms for the set-theoretic hierarchy. Logique et analyse, n.s. vol. 31 (1988), pp. 85–88. - Michael D. Potter. Sets. An introduction. Clarendon Press, Oxford University Press, Oxford and New York1990, xi + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1077-1078
- Print publication:
- September 1993
-
- Article
- Export citation
Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1092
- Print publication:
- September 1993
-
- Article
- Export citation
JSL volume 58 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1993
-
- Article
-
- You have access
- Export citation
The well-foundedness of the Mitchell order
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 931-940
- Print publication:
- September 1993
-
- Article
- Export citation
Solomon Feferman. Weyl vindicated: “Das Kontinuum” 70 years later. Atti del congresso, Temi e prospettive della logica e della filosofia della scienza contemporanee, Organizzato dalla Società Italiana di Logica e Filosofia delle Scienze (SILFS), Cesena, 7–10 gennaio 1987, Volume I, Logica, edited by Carlo Cellucci and Giovanni Sambin, CLUEB, Bologna1988, pp. 59–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1086
- Print publication:
- September 1993
-
- Article
- Export citation
S. Shelah. Classification theory and the number of non-isomorphic models. Revised edition of XLVII 694. Studies in logic and the foundations of mathematics, vol. 92. North-Holland, Amsterdam etc. 1990, xxxiv + 705 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1074
- Print publication:
- September 1993
-
- Article
- Export citation
Gerhard Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1080
- Print publication:
- September 1993
-
- Article
- Export citation
Trees and -subsets of ω1ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1052-1070
- Print publication:
- September 1993
-
- Article
- Export citation
Logic, sheaves, and factorization systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 872-893
- Print publication:
- September 1993
-
- Article
- Export citation
A transfer theorem for Henselian valued and ordered fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 915-930
- Print publication:
- September 1993
-
- Article
- Export citation
Uniqueness of normal proofs of minimal formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 789-799
- Print publication:
- September 1993
-
- Article
- Export citation
Quasi-endomorphisms in small stable groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1051
- Print publication:
- September 1993
-
- Article
- Export citation