Formal Logic: Its Scope and Limits

Hackett Pub. (2004)
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
Keywords First-order logic
Categories (categorize this paper)
Buy the book $54.40 new (12% off)    Amazon page
Call number BC128.J43 2004
ISBN(s) 0070323577  
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 14,232
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA
Allen Hazen (1987). Natural Deduction and Hilbert's Ɛ-Operator. Journal of Philosophical Logic 16 (4):411 - 421.
Scott Lehmann (1994). Strict Fregean Free Logic. Journal of Philosophical Logic 23 (3):307--336.

View all 15 citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

5 ( #338,493 of 1,699,696 )

Recent downloads (6 months)

2 ( #269,935 of 1,699,696 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.