Logic for Mathematicians

Journal of Symbolic Logic 45 (2):379-380 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273209

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

Logic for mathematicians.Alan G. Hamilton - 1978 - New York: Cambridge University Press.
Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka - 2012 - Logica Universalis 6 (3-4):459-475.
Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
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: 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.
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
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.
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.
The phenomenology of mathematical beauty.Gian-Carlo Rota - 1997 - Synthese 111 (2):171-182.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,505,296)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Framing as path dependence.Natalie Gold & Christian List - 2004 - Economics and Philosophy 20 (2):253-277.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references