YOUR TOP 10 FAVORITE CLASSICS
Recently on Facebook, Twitter and Instagram, we asked for you favorite classic […]
Hello, I'm an eBook!
ATTENTION: This item is an eBook. It can be read on iOS, Android, MAC and PC's with a supported eReader. It is not a physical book. eBooks are available via download immediately after you've checked out.
Used Very Good
May ship separately
Converts one physical book into a digital version.
eDelivery converts your used book order into a digital version readable on most devices.
Ships directly from Better World Books
Ships separately from Better World Books suppliers
HPB - North Lamar
One Stop Shop Bookstore
Super Book Deals
Deduction" is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Efficient and elegant presentation of classical first-order logic. Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic. Includes problem sets, designed to lead students gradually from easier to more difficult problems. Features web-based programs which give students symbolization problems, hints, grades, and demonstrations.
Further information and sample content is available on the supporting website: http: //www.utexas.edu/cola/depts/philosophy/faculty/bonevac/deduction/
Save on 4 or more used books that ship from our warehouse. Get discount code »
Our gift certificates are quick, easy and sure to suit everyone, perfectly. Order Gift Certificates »
We match every book you purchase with a book donation. Learn more »
Sign up now to get news, sales and special promotions!
© Better World Books (BetterWorldBooks.com)