13629 results in The Journal of Symbolic Logic
Veli Valpola. Über Namen. Eine logische Untersuchung. Annales Academiae Scientiarum Fennicae, series B, vol. 68, no. 1. Helsinki1950, 21 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- September 1951
-
- Article
- Export citation
László Kalmár and János Surányi. On the decision problem. Third paper. Pepis prefix, a single binary predicate. The journal of symbolic logic, vol. 15 (1950), pp. 161–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- September 1951
-
- Article
- Export citation
Rudolf Carnap. Logical foundations of probability. The University of Chicago Press, Chicago1950, xvii + 607 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-208
- Print publication:
- September 1951
-
- Article
- Export citation
James K. Feibleman. Class-membership and the ontological problem. Philosophy of science, vol. 17 (1950), pp. 254–259.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
- Print publication:
- September 1951
-
- Article
- Export citation
Inner models for set theory—Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-190
- Print publication:
- September 1951
-
- Article
- Export citation
George Boole. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Dover Publications, Inc., New York1951, 11 + 424 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
- Print publication:
- September 1951
-
- Article
- Export citation
Abstracts of papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-240
- Print publication:
- September 1951
-
- Article
- Export citation
Erik Götlind. A system of postulates for Lewis's calculus S1. Norsk matematisk tidsskrift, vol. 32 (1950), pp. 89–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 231
- Print publication:
- September 1951
-
- Article
- Export citation
Paul Wienpahl. Dewey's theory of language and meaning. John Dewey: philosopher of science and freedom, a symposium, edited by Sidney Hook, The Dial Press, New York1950, pp. 271–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- September 1951
-
- Article
- Export citation
Rózsa Peter. Zum Begriff der rekursiven reellen Zahl. Acta scientiarum mathematicarum, vol. 12 part A (1950), pp. 239–245.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
- Print publication:
- September 1951
-
- Article
- Export citation
Karl Schröter. Der Nutzen der mathemalischen Logik für die Mathematik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 2–16; also Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 82-96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
- Print publication:
- September 1951
-
- Article
- Export citation
Arthur Pap. The philosophical analysis of natural language. Methodos, vol. 1 (1949) pp. 344–369.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 211
- Print publication:
- September 1951
-
- Article
- Export citation
Maurice L'Abbé. On the independence of Henkin's axioms for fragments of the propositional calculus. The journal of symbolic logic, vol. 16 (1951) pp. 43–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- September 1951
-
- Article
- Export citation
L. Susan Stebbing. Logistic. Encyclopaedia Britannica, Encyclopaedia Brittanica, Inc., Chicago-London-Toronto1950, vol. 14, pp. 330–334. - Garrett Birkhoff. Mathematics, foundations of. Encyclopaedia Britannica, Encyclopaedia Brittanica, Inc., Chicago-London-Toronto1950, vol. 15, pp. 84–86. - Eric Temple Bell. Mathematics, history of. Encyclopaedia Britannica, Encyclopaedia Brittanica, Inc., Chicago-London-Toronto1950, vol. 15, pp. 86, 87, 87A, 87B, 88, 89. - George David Birkhoff. Number. Encyclopaedia Britannica, Encyclopaedia Brittanica, Inc., Chicago-London-Toronto1950, vol. 16, pp. 596–601.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
- Print publication:
- September 1951
-
- Article
- Export citation
G. Hasenjaeger. Ein Beitrag zur Ordnungstheorie. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 30–31; - G. Hasenjaeger. Ein Beitrag zur Ordnungstheorie. Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 110–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
- Print publication:
- September 1951
-
- Article
- Export citation
Alan Rose. Completeness of Łukasiewicz-Tarski propositional calculi. Mathematische Annalen, vol. 122 no. 3 (1950), pp. 296–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- September 1951
-
- Article
- Export citation
A. Markov. Névožmoinost' nékotoryh algoritmov v téorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 19–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
- Print publication:
- September 1951
-
- Article
- Export citation
Jan Łukasiewicz. On variable functors of propositional arguments. Proceedings of the Royal Irish Academy, vol. 64 section A no. 2 (1951), pp. 25–35. - C. A. Meredith. On an extended system of the propositional calculus. Proceedings of the Royal Irish Academy, vol. 64 section A no. 3 (1951), pp. 37–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
- Print publication:
- September 1951
-
- Article
- Export citation
H. W. Leggett. Bertrand Russell, O. M. A pictorial biography. Philosophical Library, New York1950, 79 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
- Print publication:
- September 1951
-
- Article
- Export citation
Thirteenth meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 3 / September 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- September 1951
-
- Article
- Export citation