13629 results in The Journal of Symbolic Logic
Donald Davidson. In defense of convention T. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 76–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- June 1977
-
- Article
- Export citation
Compactness and transfer for a fragment of L2
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-268
- Print publication:
- June 1977
-
- Article
- Export citation
A lattice of interpretability types of theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-305
- Print publication:
- June 1977
-
- Article
- Export citation
George Weaver. Logical consequence in modal logic: alternative semantic systems for normal modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 308–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 317
- Print publication:
- June 1977
-
- Article
- Export citation
Konéčnyé avlomaty (Povédénié i sintéz) - B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé avlomaty (Povédénié i sintéz). Izdatél′stvo “Nauka,”Moscow1970, 400 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1977
-
- Article
- Export citation
Logic in algebraic form. Three languages and theories - William Craig. Logic in algebraic form. Three languages and theories. Studies in logic and the foundations of mathematics, vol. 72. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, viii + 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
- Print publication:
- March 1977
-
- Article
- Export citation
Logic - Wesley C. Salmon. Logic. Second, enlarged and revised, edition of XXIX 89. Foundations of philosophy series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973, x + 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
- Print publication:
- March 1977
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York, 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-155
- Print publication:
- March 1977
-
- Article
- Export citation
Partially ordered interpretations
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-93
- Print publication:
- March 1977
-
- Article
- Export citation
Primitive recursive ordinal functions with added constants1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-82
- Print publication:
- March 1977
-
- Article
- Export citation
JSL volume 42 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1977
-
- Article
-
- You have access
- Export citation
Combinatory logic - Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London1972, XIV + 520 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
- Print publication:
- March 1977
-
- Article
- Export citation
Embedding theorems for boolean algebras and consistency results on ordinal definable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-76
- Print publication:
- March 1977
-
- Article
- Export citation
Omitting models
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-32
- Print publication:
- March 1977
-
- Article
- Export citation
A sequent calculus for type assignment
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-28
- Print publication:
- March 1977
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Clermont-Ferrand, France, 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-139
- Print publication:
- March 1977
-
- Article
- Export citation
A complete Lω1ω-sentence characterizing ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-62
- Print publication:
- March 1977
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic Jerusalem, Israel, 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
- Print publication:
- March 1977
-
- Article
- Export citation
A note on the number of zeros of polynomials and exponential polynomials
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-106
- Print publication:
- March 1977
-
- Article
- Export citation
On generalized computational complexity1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-58
- Print publication:
- March 1977
-
- Article
- Export citation