Foundations of Mathematical Logic

Journal of Symbolic Logic 45 (2):377-378 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1980

DOI

10.2307/2273207

Other Versions

reprint Craig, William (1980) "Haskell B. Curry. Foundations of mathematical logic. Corrected reprint of XXXVIII 149. Dover Publications, Inc., New York1977, viii + 408 pp". Journal of Symbolic Logic 45(2):377-378

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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

Simplified foundations for mathematical logic.Robert L. Stanley - 1955 - Journal of Symbolic Logic 20 (2):123-139.
The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
On the consistency of Quine's new foundations for mathematical logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.
Definition by induction in Quine's new foundations for mathematical logic.Barkley Bosser - 1939 - Journal of Symbolic Logic 4 (2):80-81.
Definition by Indication in Quine's New Foundations for Mathematical Logic.Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (1):33-33.

Analytics

Added to PP
2017-02-21

Downloads
18 (#1,115,326)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.

View all 59 citations / Add more citations

References found in this work

No references found.

Add more references