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.6 ★★★★★
Based on 18 reviews
Sort
Product Reviews
★★★★★ 3
Not bad
Color: Grey, Size: 88" W
Claims to be non see through but you can, easy to assemble but instructions aren't good. Decent money value, quality is okay. Good fit, not very sturdy.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 11, 2026
★★★★★ 1
They bend easily and hard to keep up
Color: Black, Size: 88" W
To flimsy, they are see through, not at all what is pictured
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 12, 2026
★★★★★ 5
Perfect for Creating Instant Privacy
Color: Black, Size: 88" W
I just set this up and it instantly transformed the space. It’s lightweight but stands securely, and the fabric panels look clean and modern. Super easy to fold and move around—perfect for creating privacy in a bedroom or home office without any permanent changes
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 12, 2026
★★★★★ 5
Lighter Than Expected — Perfect for My Garage Workspace!
I just received this room divider and haven’t had a chance to set it up yet, but I’m already impressed. It’s much lighter than I expected — I was worried it would be bulky and unstable, but that doesn’t seem to be the case at all. It feels easy to handle and still solid enough for what I need. I plan to use it in my garage to section off a small workspace, and it looks like it’s going to work perfectly!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 17, 2025
★★★★★ 4
As expected
As expected
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 8, 2026