Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp [Book Review]

Bulletin of Symbolic Logic 10 (4):563-565 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003620

Links

PhilArchive



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

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

Peter Smith. An introduction to Gödel's theorems. Cambridge Introductions to Philosophy, Cambridge University Press, 2007, xiv + 362 pp. [REVIEW]Arnon Avron - 2009 - Bulletin of Symbolic Logic 15 (2):218-222.
Apt Krzysztof R.. Principles of constraint programming. Cambridge University Press, Cambridge, United Kingdom, 2003, xii+ 407 pp. [REVIEW]Hubie Chen - 2006 - Bulletin of Symbolic Logic 12 (1):128-131.
The Cambridge companion to Bertrand Russell, edited by Nicholas Griffin, Cambridge University Press, Cambridge, UK and New York, USA, 2003, xvii + 550 pp. [REVIEW]Peter Koellner - 2005 - Bulletin of Symbolic Logic 11 (1):72-77.
Mark Colyvan. An introduction to the philosophy of mathematics. Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, UK, 2012, 198 pp. [REVIEW]Richard Pettigrew - 2013 - Bulletin of Symbolic Logic 19 (3):396-397.
Martin Peterson. An introduction to decision theory. Cambridge University Press, Cambridge, 2009, x + 317 pp. [REVIEW]Steven Robertson - 2010 - Bulletin of Symbolic Logic 16 (3):413-415.
George Tourlakis. Lectures in Logic and Set Theory, volumes 1 and 2. Cambridge studies in advanced mathematics, vol. 83. Cambridge University Press, Cambridge, UK, 2003. xi + 328 and xv + 575 pp. [REVIEW]Joel David Hamkins - 2005 - Bulletin of Symbolic Logic 11 (2):241-243.
John Woods. Paradox and paraconsistency: Conflict resolution in the abstract sciences, Cambridge University Press, Cambridge, New York, 2003, xviii+ 362 pp. [REVIEW]Philip Kremer - 2004 - Bulletin of Symbolic Logic 10 (1):116-118.
Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp. [REVIEW]Jeremy Avigad - 2014 - Bulletin of Symbolic Logic 20 (4):500-501.
Priest Graham. An introduction to non-classical logic. Cambridge University Press, 2001, xxi+ 242 pp. [REVIEW]Petr Hájek - 2006 - Bulletin of Symbolic Logic 12 (2):294-295.
Graham Priest. An introduction to non-classical logic: From If to Is. Second Edition. Cambridge University Press, Cambridge, United Kingdom, 2008, xxxii + 613 pp. [REVIEW]Petr Hájek - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.

Analytics

Added to PP
2019-05-07

Downloads
13 (#288,494)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David DeVidi
University of Waterloo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references