13629 results in The Journal of Symbolic Logic
Hans Reichenbach. On observing and perceiving. Philosophical studies, vol. 2 (1951), pp. 92–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1955
-
- Article
- Export citation
Hao Wang. What is an individual?The philosophical review, vol. 62 (1953), pp. 413–420.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
- Print publication:
- March 1955
-
- Article
- Export citation
Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
- Print publication:
- June 1955
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (Az algoritmusok elmélete). Russian, with brief abstract in Hungarian. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 191–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
- Print publication:
- March 1955
-
- Article
- Export citation
Arthur Pap. Analytic truth and “implicit definitions.”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. 151–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
- Print publication:
- March 1955
-
- Article
- Export citation
JSL volume 20 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1955
-
- Article
-
- You have access
- Export citation
Miguel Sanchez-Mazas. Sobre un pasaje de Aristóteles y el cálculo lógico de Leibniz. Revista de filosofia (Madrid), vol. 10 (1951), pp. 529–534.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
- Print publication:
- June 1955
-
- Article
- Export citation
A. Châtelet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 (1951), pp. 140–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- June 1955
-
- Article
- Export citation
Abraham A. Fraenkel. Abstract set theory. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1953, XII + 479 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- June 1955
-
- Article
- Export citation
Victor Lowe. Professor Goodman's concept of an individual. The philosophical review, vol. 62 (1953), pp. 117–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1955
-
- Article
- Export citation
John Myhill. On the interpretation of the sign ‘⊃’. The journal of symbolic logic, vol. 18 (1953), pp. 60–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
- Print publication:
- June 1955
-
- Article
- Export citation
Andrzej Grzegorczyk. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau1953, 46 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
- Print publication:
- March 1955
-
- Article
- Export citation
Hans Reichenbach. Nomological statements and admissible operations. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, title pages + 140 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-54
- Print publication:
- March 1955
-
- Article
- Export citation
Robert S. Ledley. Mathematical foundations and computational methods for a digital logic machine. Journal of the Operations Research Society of America, vol. 2 (1954), pp. 249–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-197
- Print publication:
- June 1955
-
- Article
- Export citation
K. Jaakko J. Hintikka. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki1953, 71 pp. With separate sheet of Corrections.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
- Print publication:
- March 1955
-
- Article
- Export citation
J. R. Myhill. Three contributions to recursive function theory. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 50–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
- Print publication:
- June 1955
-
- Article
- Export citation
J. B. Rosser and A. R. Turquette. Many-valued logics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1952, VII + 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-50
- Print publication:
- March 1955
-
- Article
- Export citation
A note on two-place predicates and fitting sequences of measure functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- June 1955
-
- Article
- Export citation
Undecidable sentences generated by semantic paradoxes
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-43
- Print publication:
- March 1955
-
- Article
- Export citation
Romane Clark. More on negation. Philosophical studies, vol. 4 (1953), pp. 81–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
- Print publication:
- March 1955
-
- Article
- Export citation