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 23 reviews
Sort
Product Reviews
★★★★★ 5
Sponge sink holder
Color: Stainless Steel, Color: Stainless Steel
Great buy ! Like how it’s sturdy & keeps my dish soap & other things organized. Well made
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 24, 2026
★★★★★ 5
Organization
Color: Black
Fits perfectly! Was the right size for dish soap & my sponges. Looks great helped me get organized 😎
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 13, 2026
★★★★★ 3
Divider doesn’t work
Color: Stainless Steel
Size is great. Quality is great except for the divider, which doesn’t work at all. It’s too loose and doesn’t stay on
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 24, 2026
★★★★★ 5
LOVE MY SINK CADDY!
Color: Black
This caddy is such a game changer for my kitchen. It keeps everything neat and in one place AND no more clutter around the sink! I can fit my soap, sponges, and brushes easily, and it still looks nice on the counter. The drying base really works too! It absorbs water fast and doesn’t get gross like other trays I’ve had. It’s sturdy, doesn’t slip, and even looks kind of decorative. Definitely worth it!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on October 28, 2025
★★★★★ 5
Great product.
Color: Black
I love it. Good design , well made and very large capacity. Easy to assemble. Keeps my counter free from cleaning items and drys out my sponge so it doesn’t get mildew. It’s very stable , not flimsy at all. Great price too.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 1, 2026
recommand products
Ratio drills / Solid carbide / Ø 5.500 mm / 5xD / Company std. / Type RT 100 C /
75.47
Ratio drills / Solid carbide / Ø 5.700 mm / 5xD / Company std. / Type RT 100 C /
75.47
Ratio drills / Solid carbide / Ø 14.600 mm / 5xD / DIN 6539 / Type GS 200 G / bright
214.09
Ratio drills / Solid carbide / Ø 8.500 mm / 3xD / DIN 6539 / Type RT 100 C / TiN
94.66
Ratio drills / Solid carbide / Ø 14.500 mm / 5xD / DIN 6539 / Type GS 200 G / bright
173.37