13629 results in The Journal of Symbolic Logic
Gerold Stahl. An opposite and an expanded system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 244–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- September 1960
-
- Article
- Export citation
E. W. Beth. Les fondements logiques des mathématiques. Deuxième édition revue et augmentée. Collection de logique mathématique, A I. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1955, XV + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- September 1960
-
- Article
- Export citation
A. J. Ayer. The Vienna circle. La revolución en filosofía, by A. J. Ayer (etc. as above). Spanish translation of the preceding by Montserrat Macao de Lledó. Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 70–87. - A. J. Ayer. El círculo de Viena. La revolución en filosofía, by A. J. Ayer (etc. as above). Spanish translation of the preceding by Montserrat Macao de Lledó. Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 87–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
- Print publication:
- September 1960
-
- Article
- Export citation
Gustav Bergmann. Sense and nonsense in operationism. The validation of scientific theories, edited, with an introduction, by Philipp G. Frank, The Beacon Press, Boston1956, pp. 41–52. (Reprinted from The scientific monthly, vol. 79 (1954), pp. 210–214). - Carl G. Hempel. A logical appraisal of operationism. A reprint of XXIII 354. The validation of scientific theories, edited, with an introduction, by Philipp G. Frank, The Beacon Press, Boston1956, pp. 52–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- September 1960
-
- Article
- Export citation
János Surányi. Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1959, 216 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-276
- Print publication:
- September 1960
-
- Article
- Export citation
Oskar Becker. Grundlagen der Mathematik in geschichtlicher Entwicklung. Orbis, Bd. II/6. Verlag Karl Alber, Freiburg und München1954, XI + 422 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
- Print publication:
- September 1960
-
- Article
- Export citation
Gilbert Ryle. Introduction. The revolution in philosophy, by A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, R. A. Wollheim. Macmillan & Co. Ltd., London, and St. Martin's Press, New York, 1956, pp. 1–11. - Gilbert Ryle. Introducción. La revolución en filosofía, by A. J. Ayer (etc. as above). Spanish translation of the preceding by Montserrat Macao de Lledó. Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
- Print publication:
- September 1960
-
- Article
- Export citation
Nelson Goodman. Fact, fiction, & forecast. Harvard University Press, Cambridge, Mass., 1955, 126 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- September 1960
-
- Article
- Export citation
Ettore Casari. Computabilità e ricorsività. Problemi di logica matematica. Quaderno n. 3 della Scuola di Studi Superiori sugli Idrocarburi dell' E.N.I. Milano1959, 107 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
- Print publication:
- September 1960
-
- Article
- Export citation
R. Feys. Allocution prononcée par M. R. Feys. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 135–136. - J.-L. Destouches. Allocution prononcée par M. J.-L. Destouches. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 137. - Håkan Törnebohm. Logical Studies. Library of Theoria, No. I. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1955, 83 pp. - Håkan Törnebohm. Discourse analysis. Theoria (Lund), vol. 21 (1955), pp. 42–54. See also Erratum, ibid., p. 181. - Håkan Törnebohm. Content of information. Theoria (Lund), vol. 21 (1955), pp. 146–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- September 1960
-
- Article
- Export citation
Takeo Sugihara. A three-valued logic with meaning-operator. The Memoirs of Fukui University, Librasi Arts Department, I. Humanities and social sciences, no. 8 (1958), pp. 59–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- September 1960
-
- Article
- Export citation
On the definition of an infinitely-many-valued predicate calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-216
- Print publication:
- September 1960
-
- Article
- Export citation
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1959, VI + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- September 1960
-
- Article
- Export citation
Toshio Umezawa. On some properties of intermediate logics. Proceedings of the Japan Academy, vol. 35 (1959), pp. 575–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
- Print publication:
- September 1960
-
- Article
- Export citation
Karl Menger. New approach to teaching intermediate mathematics. Science, vol. 127 (1958), pp. 1320–1323.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
- Print publication:
- September 1960
-
- Article
- Export citation
A formalisation of referentially opaque contexts
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-202
- Print publication:
- September 1960
-
- Article
- Export citation
JSL volume 25 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- September 1960
-
- Article
-
- You have access
- Export citation
Henryk Mehlberg. The reach of science. University of Toronto Press, Toronto1958, xii + 356 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-255
- Print publication:
- September 1960
-
- Article
- Export citation
David A. Huffman. The design and use of hazard-free switching networks. Journal of the Association for Computing Machinery, vol. 4 no. 1 (1957), pp. 47–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- September 1960
-
- Article
- Export citation
Stig Kanger. Handbok i logik. Del I. Logisk konsekvens. Filosofiska studier utgivna av Seminariet för Filosofi vid Stockholms Högskola, no. 4. Stockholm1959, v + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 276
- Print publication:
- September 1960
-
- Article
- Export citation