13629 results in The Journal of Symbolic Logic
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-523
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Paul Henle. Mysticism and semantics. English with Spanish summary. Philosophy and phenomenological research, vol. 9 (1948–1949), pp. 416–422.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 497
- Print publication:
- 02 September 1966
-
- Article
- Export citation
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Roman Sikorski. Algebra of formalized languages. Colloquium mathematicum, vol. 9 (1962), pp. 1–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 508-509
- Print publication:
- 02 September 1966
-
- Article
- Export citation
JSL volume 31 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
- Print publication:
- 02 September 1966
-
- Article
-
- You have access
- Export citation
B. van Rootselaar. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 41–71. (See corrigenda, p. 74.) - Kurt Gödel. Postscriptum. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 71–73. - Kurt Gödel. On intuitionistic arithmetic and number theory. English translation of 41811 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 75–81. - Kurt Gödel. On the length of proofs. English translation of I 116 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 82–83. - Kurt Gödel. Remarks before the Princeton Bicentennial Conference on Problems in Mathematics — 1946. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 84–88. [Cf. XII 89(2).] - Martin Davis. An unsolvable problem of elementary number theory. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 88. - Alonzo Church. An unsolvable problem of elementary number theory. A reprint of I 73. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 89–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-494
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Pseudo-complements and ordinal logics based on consistency statements
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-364
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Testing singly quantified tautologies
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-480
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Wolfgang Stegmüller. Das Wahrheitsproblem und die Idee der Semantik. Eine Einführung in die Theorien von A. Tarski und R. Carnap. Springer-Verlag, Vienna1957, X + 328 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Lars Svenonius. Some problems in logical model-theory. Library of Theoria, no. IV. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, 43 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-506
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá. (Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Reviews - Andrzej Grzegorczyk. Fonctions récursives. Collection de logique mathématique, série A, Nr. 17. Gauthier-Villars, Paris, und E. Nauwelaerts, Louvain, 1961, 100 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-483
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Hartley RogersJr., The present theory of Turing machine computability. Journal of the Society for Industrial and Applied Mathematics, vol. 7 (1959), pp. 114–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Benson Mates. Elementary logic. Oxford University Press, New York1965, x + 227 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
- Print publication:
- 02 September 1966
-
- Article
- Export citation
On formalizing the distinction between logical and factual truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-477
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Pure three-valued Łukasiewiczian implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-405
- Print publication:
- 02 September 1966
-
- Article
- Export citation
There are infinitely many Diodorean modal functions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-408
- Print publication:
- 02 September 1966
-
- Article
- Export citation
M. J. Cresswell. On the logic of incomplete answers. The journal of symbolic logic, vol. 30 (1965), pp. 65–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 498
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Foreword. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of mathematics, theory of sets and mathematical logic. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, teaching, popularization and organization of mathematics. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 120–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
- Print publication:
- 02 September 1966
-
- Article
- Export citation