13629 results in The Journal of Symbolic Logic
Shia Moser. Some remarks about imperatives. Philosophy and phenomeno-logical research, vol. 17 no. 2 (1956), pp. 186–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-266
- Print publication:
- September 1960
-
- Article
- Export citation
José Ferrater Mora. Diccionario de filosofia. Cuarta edición. Editorial Sudamericana, Buenos Aires1958, 1481 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- September 1960
-
- Article
- Export citation
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. (and added sheet of corrections). - A. S. Ésénin-Vol′pin. Ot péravodčika (From the translator). Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. (Appendix I. Proof of the second theorem of Gödel.) Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. (Appendix II. Filling of a gap in §§49 and 74.) Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot (iv) k (v) v dokazatél'stvé téorémy 36. (Appendix III. On the formalizability of the transition from (iv) to (v) in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. (Appendix IV. Construction of formula B of example 2 §79.) Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. (Appendix V. On the eliminability of equality and of indefinite descriptions.) Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV (po Gil′bértu-Bérnajsu [1939, str. 361–366]). (Appendix VI. On the formalization of induction up to ordinal numbers less than ε0 in the system of Chap. IV (according to Hilbert-Bernays [1939, pp. 361–366]).) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néprotivoréčivosti klassičéskoj arifmétiki s pomošč′ú indukcii do ε0 (po Sútté). Rezultat P. S. Novikova. (Appendix VII. Proof of the consistency of classical arithmetic with the aid of induction up to ε0 (according to Schütte). A result of P. S. Novikov.) Therein, pp. 485–492.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- September 1960
-
- Article
- Export citation
Toshio Umezawa. On an application of intermediate logics. Nagoya mathematical journal, vol. 16 (1960), pp. 119–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- September 1960
-
- Article
- Export citation
V. K. Korobkov. Realizaciá simmétričéskih funkcij v klassé Π-shém. Doklady Akademii Nauk SSSR, vol. 109 (1956), pp. 260–263. - V. K. Korobkov. Realization of symmetric functions in the class of II (series-parallel) circuits. English translation of the preceding. Multilith offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 6 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
- Print publication:
- September 1960
-
- Article
- Export citation
Albert Châtelet. Allocution prononcée par M. A. Châtelet. 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. 11–12. - Th. Skolem. Une relativisation des notions mathématiques fondamentales. 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. 13–17. - A. Tarski, M. Krasner, A. Mostowski, R. de Possel. 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. 17–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
- Print publication:
- September 1960
-
- Article
- Export citation
Jean Ladrière. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- September 1960
-
- Article
- Export citation
Hilary Putnam. Three-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 73–80. - Paul Feyerabend. Reichenbach's interprétation of quantum-mechanics. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 49–59. - Isaac Levi. Putnam's three truth values. Philosophical studies (Minneapolis), vol. 10 (1959), pp. 65–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
- Print publication:
- September 1960
-
- Article
- Export citation
Notice of the Society for Industrial and Applied Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- September 1960
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- September 1960
-
- Article
- Export citation
A. N. Prior. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association (Nagpur), vol. 7 no. 27 (pub. 1961), pp. 67–69. - Daya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association (Nagpur), vol. 7 no. 27 (pub. 1961), pp. 71–75. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association (Nagpur), vol. 7 no. 27 (pub. 1961), pp. 77–81. - Daya. Concluding note. Journal of the Philosophical Association (Nagpur), vol. 7 no. 27 (pub. 1961), p. 83. - S. Bhattacharyya. Post-script. Journal of the Philosophical Association (Nagpur), vol. 7 no. 27 (pub. 1961), pp. 83–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- September 1960
-
- Article
- Export citation
Paul Bernays. Remarques sur le problème de la décision en logique élémentaire. 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. 39–43. - J. Porte. 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. 44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
- Print publication:
- September 1960
-
- Article
- Export citation
Jerome Rothstein. Communication, organization and science. With a foreword by C. A. Muses. The Falcon's Wing Press, Indian Hills, Colorado, 1958, xcvi + 110 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1960
-
- Article
- Export citation
S. C. Kleene. Extension of an effectively generated class of functions by enumeration. Colloquium mathematicum, vol. 6 (1958), pp. 68–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
- Print publication:
- September 1960
-
- Article
- Export citation
Arto Salomaa. On many-valued systems of logic. Ajatus, vol. 22 (1959), pp. 115–159. - Arto Salomaa. On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku1960, 48 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
- Print publication:
- September 1960
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- September 1960
-
- Article
- Export citation
Robert Feys. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé. 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. 109–114. - J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays. 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. 114–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- September 1960
-
- Article
- Export citation
Shintaro Eguchi. Keidenki kairomô no kôsei ni tuite (A new method of assigning secondary relays in sequential switching circuits). Denki-tûsin Gakkai zassi (The journal of the institute of Electrical Communication Engineers of Japan), vol. 41 no. 4 (1958), pp. 5, 475–481.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- September 1960
-
- Article
- Export citation
A. D. Talancév. Ob analizé poténcial′no-impul′snyh shém pri pomošči spécial′nyh operátorov péréhoda. Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 320–323. - A. D. Talantsev. On the analysis of potential-pulse networks using special transition operators. English translation of the preceding. Automation express, vol. 2 (1959), pp. 11–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- September 1960
-
- Article
- Export citation
Karl Menger. What are x and y?. The mathematical gazette, vol. 40 (1956), pp. 246–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-267
- Print publication:
- September 1960
-
- Article
- Export citation