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.7 ★★★★★
Based on 11 reviews
Sort
Product Reviews
★★★★★ 3
Not for aggressive chewers
Style: 4 Styles Set
These were ok for a short while. But with this aggressive chewer we have they shred and the threads get hung between her teeth. Had to start throwing them away 😕
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 19, 2026
★★★★★ 5
Best toy for big dogs
Style: 5 KNOTS
This is the toughest rope I have found. It is the only toy my Rottweiler doesn’t destroy in a day. It lasts over a week with her constantly carrying it around and tearing at it. She loves it.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 19, 2026
★★★★★ 5
Adorable and Great Quality
Style: Bundle
These toys are the best! They are perfect for a little 4lb. rescue poodle. He’s finally starting to play! Each toy has different squeaky sounds and textures. The packaging with the dog logo was cute, too!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 17, 2026
★★★★★ 5
Great product!
Style: Bundle
These are amazing! I have 2 big dogs and these are Durable! No need to hesitate on this purchase!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 27, 2026
★★★★★ 5
Great! As expected
Style: Duck
This dog toy has quickly become one of my dog’s favorites. The dust-like texture really seems to appeal to him, it’s different from most toys and keeps him interested. It’s also a great size for small to medium dogs, making it easy for him to carry around and play with.
The toy is soft, which is perfect for gentle play and cuddling, and the built-in squeaker adds an extra layer of fun that keeps him engaged. Overall, it’s a simple but well designed toy that my dog absolutely loves. Definitely a great pick if your pup enjoys soft, squeaky toys with a unique texture.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 20, 2026