Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i [Book Review]

Journal of Symbolic Logic 21 (4):374-377 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268362

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
A. Ch'telet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 , pp. 140–149. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
Hermes H.. Sur le concept d'axiomatisabilité. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 23–25.Bernays Paul, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 26. [REVIEW]Jonathan Bennett - 1957 - Journal of Symbolic Logic 22 (1):83-83.
Johansson Ingebrigt. Sur le concept de “le” dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 65–72.Feys R., Johansson Ingebrigt. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 72. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Curry Haskell B.. La théorie des combinateurs. Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 10 , pp. 347–359.Curry Haskell B.. La logique combinatoire et les antinomies. Ibid., pp. 360–370. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.

Analytics

Added to PP
2016-06-30

Downloads
51 (#427,156)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references