Deduction: Introductory Symbolic Logic

Malden, MA: Wiley-Blackwell (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2003

Call number

BC71.B6 2003

ISBN(s)

063122713X   9780631227137   9780631227106   0874847729   0631227105
View all bargains

Buy this book

Links

PhilArchive



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

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

Deduction: introductory symbolic logic.Daniel A. Bonevac - 2003 - Malden, MA: Blackwell.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Introductory formal logic of mathematics.Peter Harold Nidditch - 1957 - Glencoe, Ill.,: Free Press.
Logiques Construites Par Une Méthode de Déduction Naturelle.Joseph Dopp - 1962 - Nauwelaerts.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Review: James Wilkinson Miller, Exercises in Introductory Symbolic Logic. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (3):310-311.
Symbolic Logic: An Introductory Textbook for Non-Mathematicians.R. N. W. Smith & Harold N. Lee - 1965 - Philosophical Quarterly 15 (58):82.
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.
Introductory Symbolic Logic.John K. Wilson - 1992
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings.Harald Ganzinger - 1999 - Springer Verlag.
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings.Andrei Voronkov - 2002 - Springer Verlag.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings.David McAllester - 2000 - Springer Verlag.

Analytics

Added to PP
2015-10-15

Downloads
13 (#1,010,467)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel Bonevac
University of Texas at Austin

Citations of this work

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.
Books received. [REVIEW]Ralf Busse - 2007 - Erkenntnis 67 (3):455-466.

Add more citations

References found in this work

No references found.

Add more references