Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 15 - Jul 20
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.1 ★★★★★
Based on 2490 reviews
Sort
Product Reviews
★★★★★ 5
Soft, Cool, and Comfortable for Everyday Sleep
Color: White, Size: Queen Size Set of 2
These pillows feel soft and comfortable without being too firm. I like that they stay cool during the night, and the cotton fabric gives them a nice hotel-style feel. So far, they’ve kept their shape well and feel great for everyday use.”
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 18, 2026
★★★★★ 5
Excellent
Color: White, Size: Queen Size Set of 2, Color: White, Size: Queen Size Set of 2
They are super comfortable and soft, I like them very much since after I use them I sleep better and I no longer wake up with an uncomfortable neck, they keep the shape well and the quality feels very good. 😍😍
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 16, 2026
★★★★★ 5
Best Pillow Ever! Highly recommend!
Color: White, Size: Queen Size Set of 2
These are the best pillows I’ve ever had! I have slept better than I’ve slept in years! I sleep longer and more sound. They are the perfect size and fluffiness but allow for easy movement. Absolutely highly recommend!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 12, 2026
★★★★★ 5
True luxury
Color: White, Size: King Size Set of 2, Color: White, Size: King Size Set of 2
These pillows were better than expected, truly feels like a luxury. I normally wake up multiple times due to me feeling hot and ever since I switched, I feel comfortable and cooling.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 13, 2026
★★★★★ 5
Soft and Restful Sleep
Color: White, Size: Queen Size Set of 2
I’ve been using this set of pillows and I really like the comfort they provide. They are soft to the touch but still offer the right support for my neck and head, helping me sleep more relaxed and wake up without tension. They also feel cool throughout the night, making my rest more comfortable and uninterrupted. I love this pillows!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 13, 2026