Some Aspects of the problem of Mathematical Rigor

Journal of Symbolic Logic 6 (3):100-102 (1941)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268583

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
Review: Haskell B. Curry, Some Logical Aspects of Grammatical Structure. [REVIEW]Donald J. Hillman - 1960 - Journal of Symbolic Logic 25 (4):341-341.
Curry Haskell B.. Some logical aspects of grammatical structure. Structure of language and its mathematical aspects. Proceedings of symposia in applied mathematics, vol. 12 , pp. 56–68. [REVIEW]Donald J. Hillman - 1960 - Journal of Symbolic Logic 25 (4):341-341.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, Foundations of Mathematical Logic. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149-149.
Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Review: Haskell B. Curry, Some Advances in the Combinatory Theory of Quantification. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):52-52.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.

Analytics

Added to PP
2015-02-05

Downloads
11 (#351,772)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.

Add more citations

References found in this work

No references found.

Add more references