13629 results in The Journal of Symbolic Logic
Takeo Sugihara. Four-valued propositional calculus with one designated truth value. The memoirs of Liberal Arts College, Fukui University, ser. I vol. 5 (1956), pp. 41–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1958
-
- Article
- Export citation
Steven Orey. Formal development of ordinal number theory. The journal of symbolic logic, vol. 20 (1955), pp. 95–104. - Steven Orey. On the relative consistency of set theory. The journal of symbolic logic, vol. 21 (1956), pp. 280–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-42
- Print publication:
- March 1958
-
- Article
- Export citation
Gustav Bergmann. Professor Quine on analyticity. Mind, n.s. vol. 64 (1955), pp. 254–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
- Print publication:
- March 1958
-
- Article
- Export citation
E. W. Beth. Réflexions sur l'organisation et la méthode de l'enseignement mathématique. L'enseignement des mathématiques, Delachaux & Niestlé S.A., Neuchatel and Paris1955, pp. 35–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
- Print publication:
- March 1958
-
- Article
- Export citation
Alfred Tarski. Equationally complete rings and relation algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 39–46; also Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 39–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1958
-
- Article
- Export citation
W. Markwald. Zur Eigenschaft primitiv-rekursiver Funktionen, unendlich viele Werte anzunehmen. Fundamerita mathematicae, vol. 42 (1955), pp. 166–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 48
- Print publication:
- March 1958
-
- Article
- Export citation
Joseph Breuer. Introduction to the theory of sets. Translated by Howard Franklin Fehr. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1958, viii + 108 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 32-33
- Print publication:
- March 1958
-
- Article
- Export citation
Stig Kanger. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm1957, 47 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-38
- Print publication:
- March 1958
-
- Article
- Export citation
A note on direct products1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
- Print publication:
- March 1958
-
- Article
- Export citation
Enzo Paci. Sul primo periodo della filosofia di Whitehead. Rivista di filosofia, vol. 44 (1953), pp. 397–415.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-81
- Print publication:
- March 1958
-
- Article
- Export citation
E. W. Beth. La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 50 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-37
- Print publication:
- March 1958
-
- Article
- Export citation
Niels Bohr. The causality problem in atomic physics. New theories in physics, Conference organized in collaboration with The International Union of Physics and The Polish Intellectual Co-operation Committee, Warsaw, May 30th-June 3rd 1938, International Institute of Intellectual Co-operation, Paris1939, pp. 11–38. Discussion, pp. 38–45, by C. Białobrzeski, L. Brillouin, Jean-Louis Destouches, J. von Neumann, and the author. - Werner Heisenberg. Language and reality in modern physics. Physics and philosophy, The revolution in modern science, by Werner Heisenberg, Harper & Brothers, New York1958, pp. 167–186. - Evert Willem Beth. Die Stellung der Logik im Gebäude der heutigen Wissenschaft. Studium generate, vol. 8 (1955), pp. 425–431.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
- Print publication:
- March 1958
-
- Article
- Export citation
Andrea Vasa. Struttura e interpretazione della logica di Russell. Rivista critica di storia della filosofia, vol. 8 (1953), pp. 108–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-88
- Print publication:
- March 1958
-
- Article
- Export citation
W. V. Quine. A theorem on parametric Boolean functions. U.S. Air Force Project RAND, RM–196, 27 071949, 4 pp. - W. V. Quine. Commutative Boolean functions. U.S. Air Force Project RAND, RM–199, 10 081949, 5 pp. - W. V. Quine. On functions of relations, with especial reference to social welfare. U.S. Air Force Project RAND, RM–218, 19 081949, 15 pp. - S. C. Kleene. Representation of events in nerve nets and finite automata. U.S. Air Force Project RAND, RM–704, 15 121951, ii + 98 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
- Print publication:
- March 1958
-
- Article
- Export citation
Yehoshua Bar-Hillel. (On the nature of ethical sentences). (Iyun), vol. 5 no. 1 (1954), pp. 19–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
- Print publication:
- March 1958
-
- Article
- Export citation
Roger Martin. Les idées actuelles sur la structure de la pensée logique. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 Avril 1956, Éditions Albin Michel, Paris1957, pp. 1–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 29
- Print publication:
- March 1958
-
- Article
- Export citation
John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
- Print publication:
- March 1958
-
- Article
- Export citation
John E. Freund. On the problem of confirmation. Methodos, vol. 3 (1951), pp. 33–42 - Vittorio Somenzi. Discussion. Methodos, vol. 3 (1951), p. 42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- March 1958
-
- Article
- Export citation
G. N. Povarov. Métod sintéza vyčislitél'nyk i upravláúščih kontaktnyh shém (A method for synthesis of computing and controlling contact circuits). Russian, with English summary. Avtotnatika i téléméhanika, vol. 18 (1957), pp. 145–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
- Print publication:
- March 1958
-
- Article
- Export citation
Rudolf Carnap. Remarks to Kemeny's paper. Philosophy and phenomenological research, vol. 13 no. 3 (1953), pp. 375–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1958
-
- Article
- Export citation