13629 results in The Journal of Symbolic Logic
Robert R. Stoll. Sets, logic, and axiomatic theories. W. H. Freeman and Company, San Francisco and London1961, x + 206 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
- Print publication:
- September 1960
-
- Article
- Export citation
Patrick Suppes. Axiomatic set theory. D. Van Nostrana Company, Princeton, N.J., 1960, xii + 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- September 1960
-
- Article
- Export citation
E. W. Beth. Construction sémantique de la logique intuitioniste. 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. 77–83. - A. Heyting. 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. 84. - A. Heyting. La théorie élémentaire de l'intégration en mathématiques intuitionnistes. 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. 85–90.
-
- 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
Lewis Carroll. Symbolic logic and The game of logic. A reprint of 674 and 671 in one volume. With Prefatory note by Edmund C. Berkeley to the reprint of 674. Dover Publications, Inc., New York1958, pp. i-xvii, xv-xxxi, 1, 1½, 2, 2½, 3, 3½ 4, 4½, 5–199, i-ix, 1–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- September 1960
-
- Article
- Export citation
A theorem concerning the composition of functions of several variables ranging over a finite set
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-208
- Print publication:
- September 1960
-
- Article
- Export citation
Roland Fraïssé. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. 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. 45–50. - A. Tarski. 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. 50. - René de Possel and Roland Fraïssé. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. 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. 51–55. - A. Tarski, A. Mostowski. 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, p. 55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- September 1960
-
- Article
- Export citation
Tadeusz Kotarbiński. La logique en Pologne. Son originalité et les influences étrangères. Accademia Polacca di Scienze e Lettere, Biblioteca di Roma, Conferenze, Fascicolo 7, Angelo Signorelli Editore, Rome1959, 24 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
- Print publication:
- September 1960
-
- Article
- Export citation
Frank Restle. Psychology of judgment and choice: A theoretical essay. John Wiley & Sons, Inc., New York and London1961, xiii + 235 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 257
- Print publication:
- September 1960
-
- Article
- Export citation
Tatsuki Watanabe and Soichiro Suto. Tikuzi zigen-keidenki kairo no sado kaiseki-riron (The theory of analysis of sequential time switching circuits). Denki-tûsin Gakkai zassi (The journal of the institute of Electrical Communication Engineers of Japan), vol. 42 no. 6 (1959), pp. 2, 563–568.
-
- 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
An unsolvable problem in number theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-232
- Print publication:
- September 1960
-
- Article
- Export citation
An extension of a theorem of margaris
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-211
- Print publication:
- September 1960
-
- Article
- Export citation
Stafford Beer. Cybernetics and management. Management science series. John Wiley & Sons, Inc., New York1959, xviii + 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
- Print publication:
- September 1960
-
- Article
- Export citation
Reviews - Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg1960, X + 355 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-249
- Print publication:
- September 1960
-
- Article
- Export citation
Jean-Louis Destouches and Paulette Février. Remarques sur certains aspects formels des théories physiques. 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. 127–131. - M. Fréchet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Février. 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. 132–133.
-
- 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
Lennart Åqvist. The moral philosophy of Richard Price. Library of Theoria no. 5. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, title page + 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
- Print publication:
- September 1960
-
- Article
- Export citation
David E. Muller. Complexity in electronic switching circuits. Transactions of the IRE Professional Group on Electronic Computers, vol. EC-5 no. 1 (1956), pp. 15–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- September 1960
-
- Article
- Export citation
B. Dunham and R. Fridshal. The problem of simplifying logical expressions. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 17–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- September 1960
-
- Article
- Export citation
Karel Louis de Bouvère. A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959. North-Holland Publishing Company, Amsterdam1959, XV + 64 pp. - Karel Louis de Bouvère. Stellingen. Leaflet distributed with the foregoing, 4 pp. unnumbered.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-273
- Print publication:
- September 1960
-
- Article
- Export citation
J. Porte. Recherches sur les logiques modales. 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. 117–126.
-
- 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
M. Kochen. Extension of Moore-Shannon model for relay circuits. IBM journal of research and development, vol. 3 (1959), pp. 169–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
- Print publication:
- September 1960
-
- Article
- Export citation