13629 results in The Journal of Symbolic Logic
Paul Lorenzen. Die ontologische und die operative Auffassung der Logik. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 12–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
- Print publication:
- March 1954
-
- Article
- Export citation
Warren L. Semon. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 273–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1954
-
- Article
- Export citation
Logical paradoxes for many-valued systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-40
- Print publication:
- March 1954
-
- Article
- Export citation
Paulette Destouches-Février. La structure des théories physiques. With a preface by Louis de Broglie. Presses Universitaires de France, Paris1951, XI + 423 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-55
- Print publication:
- March 1954
-
- Article
- Export citation
A. N. Prior. The parva logicalia in modern dress. Dominican studies, vol. 5 (1952), pp. 78–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
- Print publication:
- March 1954
-
- Article
- Export citation
Paulette Destouches-Février. Logique et théories physiques. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 45–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
- Print publication:
- March 1954
-
- Article
- Export citation
E. W. Beth. A topological proof of the theorem of Löwenheim-Skolem-Gödel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 436–444; also Indagationes mathematicae, vol. 13 (1951), pp. 436–444.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1954
-
- Article
- Export citation
JSL volume 19 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1954
-
- Article
-
- You have access
- Export citation
E. F. Moore. A simplified universal Turing machine. Proceedings of the Association for Computing Machinery, meeting at Toronto, Ont., Jointly sponsored by the Association for Computing Machinery and the University of Toronto, September 8 to 10, 1952, photo-offset, Sauls Lithograph Company, Washington, D.C., 1952, pp. 50–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
- Print publication:
- March 1954
-
- Article
- Export citation
Andrea Galimberti. L'analyse linguistique de la représentation. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 139–145.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1954
-
- Article
- Export citation
Proof of a conjecture of Goodman
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-44
- Print publication:
- March 1954
-
- Article
- Export citation
E. W. Veitch. A chart method for simplifying truth functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 127–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1954
-
- Article
- Export citation
Alan Rose. Le degré de saturation du calcul propositionnel implicatif à trois valeurs de Sobociński. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 235 (1952), pp. 1000–1002.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1954
-
- Article
- Export citation
P. Destouches-Février. La structure ouverte des théories quantiques. Revue philosophique de la France et de l'Étranger, vol. 142 (1952), pp. 369–391.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-56
- Print publication:
- March 1954
-
- Article
- Export citation
G. Kreisel. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette, vol. 35 (1951), pp. 23–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
- Print publication:
- March 1954
-
- Article
- Export citation
Ivo Thomas. Saint Vincent Ferrer's De suppositionibus. Dominican studies, vol. 5 (1952), pp. 88–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1954
-
- Article
- Export citation
L. C. Robbins. An analysis by arithmetical methods of a calculating network with feedback. Ibid., pp. 61–67. - Irving S. Reed. Symbolic synthesis of digital computers. Ibid., pp. 90–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1954
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-80
- Print publication:
- March 1954
-
- Article
- Export citation
Robert Brown and John Watling. Counterfactual conditionals. Mind, n. s. vol. 61 (1952), p.p 222–233. - Robert Brown and John Watling. Hypothetical statements and phenomenalism. Synthese, vol. 8 (1950–1952), pp. 355–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1954
-
- Article
- Export citation
Julius R. Weinberg. Contrary-to-fact conditionals. The journal of philosophy, vol.48 (1951), pp. 17–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1954
-
- Article
- Export citation