13629 results in The Journal of Symbolic Logic
Ivo Thomas. Eulerian syllogistic. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 15–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- December 1957
-
- Article
- Export citation
E. W. Beth. De betekenis van de wijsbegeerte der exacte wetenschapperr als universitair studievak en als terrein van wetenschappelijk onderzoek (The significance of the philosophy of the exact sciences as a university subject and as a field of scientific research). North-Holland Publishing Company, Amsterdam1953, 20 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
- Print publication:
- December 1957
-
- Article
- Export citation
F. Rodríguez-Gil. Los fundamentos de las matemáticas. Spanish with brief English Summary. Acta cientifica venezolana, vol. 7 (1956). pp. 171–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 359
- Print publication:
- December 1957
-
- Article
- Export citation
Clifford Spector. On degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 64 (1956), pp. 581–592.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-375
- Print publication:
- December 1957
-
- Article
- Export citation
M. E. Olds. Synonymity: extensional isomorphism. Mind, n.s. vol. 65 (1956), pp. 473–488.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
- Print publication:
- December 1957
-
- Article
- Export citation
Wilfrid Sellars. Is there a synthetic a priori?Philosophy of science, vol. 20 (1953), pp. 121–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- December 1957
-
- Article
- Export citation
P. Puig Adam. Métodos gráfico y algebraico para el proyecto de circuitos electrónicos de cálculo. Revista de ciencia aplicada (Madrid), vol. 6 (1952), pp. 289–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 377
- Print publication:
- December 1957
-
- Article
- Export citation
Patrick Suppes. Introduction to logic. D. Van Nostrand Company, Princeton1957, xviii + 312 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- December 1957
-
- Article
- Export citation
Jason Xenakis. The logic of proper names. Methodos, vol. 7 no. 25–26 (1955), pp. 13–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-397
- Print publication:
- December 1957
-
- Article
- Export citation
Gaisi Takeuti. On a generalized logic calculus. Japanese journal of mathematics, Bd. 23 (1953), S. 39–96. Errata, ebd., Bd. 24 (1954), S. 149–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- December 1957
-
- Article
-
- You have access
- Export citation
Max Bense. Transzendentale und mathematische Logik. Zeitschrift für philosophische Forschung, vol. 4 no. 4 (1950), pp. 556–571.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
- Print publication:
- December 1957
-
- Article
- Export citation
Gholam-Hossein Mosaheb. Madkhalé manteghé sooraat (Introduction to formal logic). Publication no. 277, University of Teheran, Teheran1955, 709 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
- Print publication:
- December 1957
-
- Article
- Export citation
List of officers and members of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-421
- Print publication:
- December 1957
-
- Article
- Export citation
Ernest H. Hutten. Natural and scientific language. Philosophy, vol. 29 (1954), pp. 27–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 400
- Print publication:
- December 1957
-
- Article
- Export citation
Vladimir Devidé. Ein Axiomensystem für die natürlichen Zahlen. Archiv der Mathetnatik, vol. 6 (1955), pp. 408–412.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- December 1957
-
- Article
- Export citation
I. M. Bocheński Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg1954, pp. 334–352.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
- Print publication:
- December 1957
-
- Article
- Export citation
Robert Feys. Logique formalisée moderne et philosophie des sciences. Atti del IX Convegno del Centro di Studi Filosofici tra Professori Universitari Gallarate 1953, Il problema della scienza, Morcelliana, Brescia1954, pp. 58–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-401
- Print publication:
- December 1957
-
- Article
- Export citation
Richard Bevan Braithwaite. Scientific explanation. A study of the function of theory, probability and law in science. The Cambridge University Press, London and New York1953, XII + 376 pp. Reprinted with minor revisions, The Cambridge University Press, London and New York 1955, XII + 376 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-406
- Print publication:
- December 1957
-
- Article
- Export citation
Hiroshi Nagai. Some aspects of the philosophy of science in Japan. Ebd., S. 63–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 353
- Print publication:
- December 1957
-
- Article
- Export citation
Gerhard Gentzen. Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator. Presses Universitaires de France, Paris1955, XI + 170 pp. - Robert Feys. Préface. Therein, pp. VII–XI. - Robert Feys. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2. - Robert Feys. Note B. Notation explicite des suppositions. Therein, pp. 29–34. - Robert Feys. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39. - Robert Feys. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83. - Jean Ladrière. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89. - Robert Feys. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92. - Jean Ladriére. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97. - Jean Ladriére. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100. - Jean Ladriére. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. 101–107. - Robert Feys. Note K. Marche des démonstrations d'équivalence. Therein, pp. 152–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
- Print publication:
- December 1957
-
- Article
- Export citation