Logic for Mathematicians

Journal of Symbolic Logic 18 (4):326-327 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266557

Links

PhilArchive



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

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

Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Logic for Mathematicians.H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Rosser J. Barkley. Logic for mathematicians. McGraw-Hill Book New York–Toronto–London 1953, xiv + 530 pp. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka - 2012 - Logica Universalis 6 (3-4):459-475.
Logic for mathematicians.Alan G. Hamilton - 1978 - New York: Cambridge University Press.
Rosser J. Barkley. The relative strength of Zermelo's set theory and Quine's New Foundations. Proceedings of the International Congress of Mathematicians 1954, Amsterdam, September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, and North-Holland Publishing Co., Amsterdam, pp. 289–294. [REVIEW]Václav E. Beneš - 1957 - Journal of Symbolic Logic 22 (3):294-294.
On Mathematicians' Different Standards When Evaluating Elementary Proofs.Matthew Inglis, Juan Pablo Mejia-Ramos, Keith Weber & Lara Alcock - 2013 - Topics in Cognitive Science 5 (2):270-282.
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.
Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Logic for Mathematicians.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.

Analytics

Added to PP
2017-02-21

Downloads
16 (#883,649)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

View all 36 citations / Add more citations

References found in this work

No references found.

Add more references