13629 results in The Journal of Symbolic Logic
Interpretations of sets of conditions
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-102
- Print publication:
- June 1954
-
- Article
- Export citation
W. V. Quine. On ω-consistency and a so-called axiom of infinity. The journal of symbolic logic, vol. 18 (1953), pp. 119–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- June 1954
-
- Article
- Export citation
Caréw A. Meredith. A single axiom of positive logic. The journal of computing systems, vol. 1 no. 3 (1953), pp. 169–170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 144
- Print publication:
- June 1954
-
- Article
- Export citation
P. S. Novikov. O néprotivoréčivosti nékotoryk položénij déskriptivnoj téorii množéslv (On the consistency of some theorems of the descriptive theory of sets). Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 38 (1951), pp. 279–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-125
- Print publication:
- June 1954
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-152
- Print publication:
- June 1954
-
- Article
- Export citation
Arthur W. Burks and Jesse B. Wright. Theory of logical nets. Proceedings of the I.R.E., vol. 41 (1953), pp. 1357–1365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-142
- Print publication:
- June 1954
-
- Article
- Export citation
Paul Marhenke. Propositions and sentences. Meaning and interpretation (University of California publications in philosophy, vol. 25), University of California Press, Berkeley and Los Angeles1950, pp. 273–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
- Print publication:
- June 1954
-
- Article
- Export citation
Gotthard Günther. Die philosophische Idee einer nicht-aristotelischen Logik. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 44–50. - Gotthard Günther. The logical parallax. Astounding science fiction, vol. 52 no. 3 (1953), pp. 123–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- June 1954
-
- Article
- Export citation
Willard Van Orman Quine. Reference and modality. Front a logical point of view, by Willard Van Orman Quine, Harvard University Press, Cambridge, Mass., 1953, pp. 139–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- June 1954
-
- Article
- Export citation
Jack L. Maatsch and Richard A. Behan. A more rigorous theoretical language. The psychological review, vol. 60 (1953), pp. 189–196.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
- Print publication:
- June 1954
-
- Article
- Export citation
Claude E. Shannon and Edward F. Moore. Machine aid for switching circuit design. Proceedings of the I.R.E., vol. 41 (1953), pp. 1348–1351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
- Print publication:
- June 1954
-
- Article
- Export citation
F. H. George. Formalization of language systems for behavior theory. The psychological review, vol. 60 (1953), pp. 232–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
- Print publication:
- June 1954
-
- Article
- Export citation
Willard Van Orman Quine. Meaning and existential inference. Front a logical point of view, by Willard Van Orman Quine, Harvard University Press, Cambridge, Mass., 1953, pp. 160–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
- Print publication:
- June 1954
-
- Article
- Export citation
Norman M. Martin. On completeness of decision element sets. The journal of computing systems, vol. 1 no. 3 (1953), pp. 150–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- June 1954
-
- Article
- Export citation
David Shwayder. Some remarks on “synonymity” and the language of the semanticists. Philosophical studies, vol. 5 (1954), pp. 1–5. - D. S. Shwayder. Corrigendum. Philosophical studies, vol. 5 (1954), p. 48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- June 1954
-
- Article
- Export citation
Robert Serrell. Elements of Boolean algebra for the study of information-handling systems. Proceedings of the I.R.E., vol. 41 (1953), pp. 1366–1380. - Robert Serrell. Correction. Proceedings of the I.R.E., vol. 42 (1954), p. 475.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
- Print publication:
- June 1954
-
- Article
- Export citation
Ilona Bereczki. Lösung eines Markovschen Problems betreffs einer Ausdehnung des Begriffes der elementaren Funktion. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 197–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
- Print publication:
- June 1954
-
- Article
- Export citation
Andrzej Mostowski. An undecidable arithmetical statement. Fundamenta mathetnaticae, vol. 36 (1949), pp. 143–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- June 1954
-
- Article
- Export citation
Gerhard Frey. Bemerkungen zum Problem der mehrwertigen Logiken. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 53–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- June 1954
-
- Article
- Export citation
Garrett Birkhoff and Saunders MacLane. Algebra of classes. A survey of modern algebra, revised edition, by Garrett Birkhoff and Saunders MacLane, The Macmillan Company, New York1953, pp. 335–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- June 1954
-
- Article
- Export citation