13629 results in The Journal of Symbolic Logic
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- 23 July 1968
-
- Article
-
- You have access
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-319
- Print publication:
- 23 July 1968
-
- Article
- Export citation
R. A. Bull. The implicational fragment of Dummett's LC.The Journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 189–194.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 (1962), pp. 170–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Akiko Kino. A note on constructive ordinals. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 189–198. (Reprinted from Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, sponsored jointly by the Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 51–64.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Dana Scott. A proof of the independence of the continuum hypothesis. Mathematical systems theory, vol. 1 (1967), pp. 89–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- 23 July 1968
-
- Article
- Export citation
W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 (1959), pp. 15–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Seymour Ginsburg and Sheila Greibach. Deterministic context free languages. Informarion and control, vol. 9 (1966), pp. 620–648.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Seymour Ginsburg and Joseph Ullian. Ambiguity in context free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 62–89. - Seymour Ginsburg and Joseph Ullian. Preservation of unambiguity and inherent ambiguity in context-free languages.Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 364–368. - Thomas N. Hibbard and Joseph Ullian, The independence of inherent ambiguity from complementedness among context-free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 588–593.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
- Print publication:
- 23 July 1968
-
- Article
- Export citation
C. A. Meredith. Postulates for Implicational calculi. The Journal of symbolic logic, vol. 31 (1966), pp. 7–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- 23 July 1968
-
- Article
- Export citation
R. A. Bull. Some results for implicational calculi. The Journal of symbolic logic, vol. 29 no. 1 (1964), pp. 33–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Shigeru Watanabe. Periodicity of Post's normal process of tag. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 83–99.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Atwell R. Turquette. A method for constructing implication logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 267–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Luiz Monteiro. Sur les algèbres de Lukasiewicz injectives. Proceedings of the Japan Academy, t. 41 (1965), p. 578–581.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Infinite products of recursive equivalence types
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-230
- Print publication:
- 23 July 1968
-
- Article
- Export citation
V. Amstislavskij. O rékursivnyh réšétah (On recursive sieves). Sibirskij matématičéskij žurnal, vol. 7 (1966), pp. 233–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- 23 July 1968
-
- Article
- Export citation
JSL volume 33 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- 23 July 1968
-
- Article
-
- You have access
- Export citation
Evert W. Beth and Alfred Tarski. Equilaterality as the only primitive notion of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 462–467; also ibid., pp. 462–467.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Martin Davis. Unsolvable problems: a review. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 15–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
- Print publication:
- 23 July 1968
-
- Article
- Export citation