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 ...
Read More
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. Further information and select answers to problems available here: http: //bonevac.info/deduction/About_the_Book.html
Read Less
Add this copy of Deduction: Introductory Symbolic Logic to cart. $25.56, good condition, Sold by Aspen Book Company rated 5.0 out of 5 stars, ships from Denver, CO, UNITED STATES, published 2002 by Wiley-Blackwell.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. A well-loved companion. Corners and cover might show a little wear and you could find some notes or highlights. The dust jacket might be MIA it might have been a library book and extras aren't guaranteed-but the story's all there!
Add this copy of Deduction: Introductory Symbolic Logic to cart. $49.00, very good condition, Sold by Edmonton Book Store rated 3.0 out of 5 stars, ships from Edmonton, AB, CANADA, published 2002 by Blackwell.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. No dustjacket. pp. 514, "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… 8vo.
Add this copy of Deduction: Introductory Symbolic Logic to cart. $73.92, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2002 by Wiley-Blackwell.
Add this copy of Deduction: Introductory Symbolic Logic to cart. $264.60, good condition, Sold by TEXTSHUB rated 5.0 out of 5 stars, ships from Franklin Lakes, NJ, UNITED STATES, published 2002 by Wiley-Blackwell.
Add this copy of Deduction: Introductory Symbolic Logic to cart. $32.00, very good condition, Sold by Common Crow Books rated 5.0 out of 5 stars, ships from Pittsburgh, PA, UNITED STATES, published 1987 by Mayfield Publishing Company.
Add this copy of Deduction Introductory Symbolic Logic to cart. $51.13, very good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1987 by Mayfield Pub Co.
Add this copy of Deduction Introductory Symbolic Logic to cart. $51.13, fair condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1987 by Mayfield Pub Co.
Add this copy of Deduction Introductory Symbolic Logic to cart. $54.96, fair condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1987 by Mayfield Pub Co.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Deduction Introductory Symbolic Logic to cart. $95.59, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1987 by Mayfield Pub Co.
