Logic: An introduction to the formal study of reasoning

Abstract

This is a text for an introductory symbolic logic course. It is based upon an old text that I wrote in 1969, which is long out of print. But it modifies the approach of that book to reflect theoretical work that I have done on theorem proving in the..

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

An introduction to logic.Morris Raphael Cohen - 1962 - New York,: Harcourt, Brace & World. Edited by Ernest Nagel.
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.
Critical thinking: an introduction to reasoning.Francis Watanabe Dauer - 1989 - New York: Oxford University Press.
Symbolic logic.Greg Restall - unknown
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
An introduction to formal logic.Peter Smith - 2003 - New York: Cambridge University Press.
Deductive logic.David S. Clarke - 1973 - Carbondale,: Southern Illinois University Press.
Logic.Paul Tomassi - 1999 - New York: Routledge.
Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.

Analytics

Added to PP
2009-01-28

Downloads
78 (#208,853)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references