This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Read More
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Read Less
Add this copy of First-Order Logic to cart. $11.42, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2000 by Dover Publications Inc.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 250grams, ISBN: 9780486683706.
Add this copy of First-Order Logic to cart. $10.31, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1995 by Dover Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 176 p. Contains: Unspecified. Dover Books on Mathematics. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of First-Order Logic to cart. $9.47, very good condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic to cart. $9.47, good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic to cart. $9.47, good condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic to cart. $9.47, fair condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic (Dover Books on Mathematics) to cart. $9.99, good condition, Sold by newlegacybooks rated 5.0 out of 5 stars, ships from Annandale, NJ, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic (Dover Books on Mathematics) to cart. $14.49, very good condition, Sold by Magers and Quinn Booksellers rated 5.0 out of 5 stars, ships from Minneapolis, MN, UNITED STATES, published 1995 by Dover Publications.
Add this copy of First-Order Logic to cart. $16.11, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1995 by Dover Publications.
