Pay in installments of $7.00 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours Β· Estimated delivery Jul 16 - Jul 21
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionThis advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first order logic, Gentzen's
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.
Binding Type: Paperback
Publisher: Dover Publications
Published: 06/18/2015
ISBN: 9780486780825
Pages: 528
Weight: 1.55lbs
Size: 9.10h x 6.10w x 1.00d
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
4.9 β
β
β
β
β
Based on 20 reviews
Sort
Product Reviews
β
β
β
β
β
5
Great for a small space
Color: Rustic Brown + Black, Color: Rustic Brown + Black
Great size for my patio and simple to put together.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 23, 2026
β
β
β
β
β
5
Even better than expected
Color: White
Really delighted with this purchase. It was easy to assemble. The white one looks great and I have found it even more useful than originally imagined.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 24, 2026
β
β
β
β
β
5
Worth every penny!!
Color: Black
This kitchen sink caddy was exactly what I wanted. It's well made and small enough to fit on my new sink. It holds soap, dish rag or small sponge, drain stopper, and my two scrub brushes. Looks good, too
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 19, 2026
β
β
β
β
β
5
Great addition to my minimalist kitchen!
Color: Black
This kitchen sink sponge holder is simple yet highly effective. It keeps the sponge neatly in place, allows it to dry quickly, and makes the sink area look tidy. The sturdy material and easy-clean design make it a great little addition to any kitchen.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 7, 2026
β
β
β
β
β
5
Strong sturdy reliable and versatile
Color: Black
This is a great little side piece to use for your kitchen sink or bathroom mine is in my kitchen sink it works great it sits on the side it's the perfect length holds my scrubber soap and other stuff I need instead of using a makeshift bowl. It's sturdy rust-resistant and I put it through the tests it gets wet every time I do which is every day in this house. You can use it for just about anything. There are no suction cups on it but there is a gray under it that catches all the loose water which is also very convenient. It looks modern and compliments most sinks and kitchens well
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on September 27, 2025