Outlines of a Formalist Philosophy of Mathematics

Journal of Symbolic Logic 18 (1):80-81 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266351

Links

PhilArchive



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

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

Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
Haskell B. Curry: Outlines of a formalist philosophy of mathematics.A. Wittenberg - 1953 - Dialectica 7 (1):84-89.
Mathematical logic. "Outlines of a formalist philosophy of mathematics." By Haskell B. Curry. "On the mathematics of algebra." By Abraham Robinson: Essay. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 ([9/12]):197.
Curry Haskell B.. Outlines of a formalist philosophy of mathematics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 pp. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
McKinsey J. C. C.. On the representation of projective algebras. American journal of mathematics, vol. 70 , pp. 375–384. [REVIEW]C. J. Everett - 1948 - Journal of Symbolic Logic 13 (4):223-223.
McKinsey J. C. C. and Tarski Alfred. The algebra of topology. Annals of mathematics, ser. 2 vol. 45 , pp. 141–191.H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.
Mckinsey J. C. C.. On the independence of Hilbert and Ackermann's postulates for the calculus of propositional functions. American journal of mathematics, vol. 58 , pp. 336–344. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):64-65.
McKinsey J. C. C. and Tarski Alfred. On closed elements in closure algebras. Annals of mathematics, ser. 2 vol. 47 , pp. 122–162. [REVIEW]Albert A. Bennett - 1946 - Journal of Symbolic Logic 11 (3):83-84.

Analytics

Added to PP
2017-02-21

Downloads
17 (#213,731)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references