13629 results in The Journal of Symbolic Logic
Carl Lyngholm and Wolfgang Yourgrau. A double-iteration property of Boolean functions. Notre Dame journal of formal logic, vol. 1 (1960), pp. 111–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- September 1960
-
- Article
- Export citation
Daniel Lacombe. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. 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. 67–74. - G. Bouligand. Intervention. 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. 75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
- Print publication:
- September 1960
-
- Article
- Export citation
Roger Martin. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel. 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. 91–94. - R. Feys, J. Porte. Interventions. 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. 95–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- September 1960
-
- Article
- Export citation
Jean Piaget. Logic and psychology. Manchester University Press, Manchester1953, xix + 48 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-257
- Print publication:
- September 1960
-
- Article
- Export citation
W. C. Kneale. Gottlob Frege and mathematical logic. 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. 26–40. - W. C. Kneale. Gottlob Frege y la lógica matemática. 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. 33–49.
-
- 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
Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1140–1142. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 2207–2210. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S5 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 1282–1283. - Marcel Guillaume. Calculs de consequences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1542–1544.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- September 1960
-
- Article
- Export citation
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 (1953), pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 (1953), pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 (1954), pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 (1954), pp. 114–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
- Print publication:
- September 1960
-
- Article
- Export citation
Anders Wedberg. Filosofins historia. Antiken och medeltiden. (History of philosophy. Ancient and medieval.) Bonniers, Stockholm1958, 197 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
- Print publication:
- September 1960
-
- Article
- Export citation
H. Weyl. Das Kontinuum. Das Kontinuum und andere Monographien, Chelsea Publishing Company, New York1960. 83 Seiten, darin.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
- Print publication:
- September 1960
-
- Article
- Export citation
Leonidas Hegenberg. Determinação de silogismos legítimos. Revista Brasileira de filosofia, vol. 7 (1957), pp. 201–204. - Leonidas Hegenberg. A negação. Revista Brasileira de filosofia, vol. 7 (1957), pp. 448–457. - Leonidas Hegenberg. Semiótica e axiomática. Revista Brasileira de filosofia, vol. 9 (1959), pp. 66–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- September 1960
-
- Article
- Export citation
On requirements for conditional probability functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-242
- Print publication:
- September 1960
-
- Article
- Export citation
Full classes and ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-219
- Print publication:
- September 1960
-
- Article
- Export citation
László Kalmár. K. Schröter egy, az általános rekurzív függvény fogalmának definíciójára vonatkozó problémájának megoldása (The solution of a problem of K. Schröter, concerning the definition of general recursive functions). A Magyar Tudományos Akadémia Matematikai és Fizikai Tudományok Osztályának Közleményei (Budapest), vol. 5 no. 2 (1955), pp. 103–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- June 1960
-
- Article
- Export citation
Sara Turing. Alan M. Turing. W. Heffer & Sons, Ltd., Cambridge1959, xiv + 157 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung (Modal systems with a finite number of modalities). Acta mathematica Sinica, vol. 7 (1957), pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 (1960), p. 2. See the review of the English translation of this paper, XXV 183(2). - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 (1955), pp. 54–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- June 1960
-
- Article
- Export citation
Jean Porte. Une simplification de la théorie de Turing. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 251–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
- Print publication:
- June 1960
-
- Article
- Export citation
Alfred Tarski. Hebrew translation of XII 61(1) by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski. The Weizman Science Press of Israel, Jerusalem1956, vii + 168 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
- Print publication:
- June 1960
-
- Article
- Export citation
R. L. Goodstein. The recursive irrationality of π. The journal of symbolic logic, vol. 19 (1954), pp. 267–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- June 1960
-
- Article
- Export citation
V. N. Roginskij. Rabota réléjnyh shém v péréhodnyé périody (Operation of switching circuits in transitional periods). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1409–1416.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
- Print publication:
- June 1960
-
- Article
- Export citation
Jean Porte. Schémas pour le calcul des propositions fondé sur la conjonction et la négation.The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 421–431.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
- Print publication:
- June 1960
-
- Article
- Export citation