Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 13 - Jul 18
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 1734 reviews
Sort
Product Reviews
★★★★★ 5
good product
Size: 6FT*6FT, Color: Bright Yellow, Size: 6FT*6FT, Color: Bright Yellow
work beans
sturdy and versitle
easy install
people said it bad because they are dorf hellen Kellers
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 19, 2026
★★★★★ 1
Not worth it!
Size: 6FT*6FT, Color: Black
These are the terrible. They keep falling down. The bottom part doesn't stay tight so it keeps turning making it in possible to stay standing. Its the absolute worst!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 15, 2026
★★★★★ 5
Good quality
Size: 6FT*6FT, Color: Black
Great privacy for our baby to sleep
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 13, 2026
★★★★★ 5
Devider for his room
Size: 6FT*6FT, Color: Bright Yellow
Its a gift for my son he loved it
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 30, 2026
★★★★★ 4
Decent value for the money.
Size: 6FT*6FT, Color: Grey
Was easy to assemble. Instructions were clear. Tools were supplied. It really needs to be assembled wherever you're going to be putting it as it can come apart easily when moved. The cross bars simply fit into open ended plastic 90 degree female ends. Overall for the money and to just have some division in a room it's a good value.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 23, 2025