Logic as Mathematical Science

Annals of the Japan Association for Philosophy of Science 2 (3):131-143 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.2.131

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

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

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
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.
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
On The Application of Modal Logic in the Methodology of Science.A. A. Zinov'ev - 1964 - Russian Studies in Philosophy 3 (3):20-26.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
Review: Haskell B. Curry, Foundations of Mathematical Logic. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149-149.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.H. Arnold Schmidt, Kurt Schutte & H. J. Thiele (eds.) - 1968 - New York, NY, USA: North-Holland.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
On the Problem of the Interrelations of Modern Formal Logic and Mathematical Logic.G. I. Ruzavin - 1964 - Russian Studies in Philosophy 3 (1):34-44.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,029,095)

6 months
5 (#627,653)

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

A bibliography of symbolic logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references