Pay in installments of $7.00 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 22 - Jul 27
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.8 ★★★★★
Based on 8 reviews
Sort
Product Reviews
★★★★★ 5
Awesome book
Format: Board book
So sweet to read with your littles.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 20, 2026
★★★★★ 5
The sweetest book EVER!!
Format: Board book
My husband got this book for me for Mother's Day and it was such a sweet gift! I absolutely love reading it with my daughter and look forward to her reading it in the future too. The words and illustrations are fun, engaging, and super cute. Highly recommend!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 23, 2025
★★★★★ 5
Great Little Book
Format: Board book
Very sweet book. All of the ABC books are great. We gifted Love for Mom to a friend and she loved It.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on November 6, 2025
★★★★★ 5
Book
Format: Board book
Adorable baby book!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on September 17, 2025
★★★★★ 5
Fun
Format: Board book
Bought this as a Mother’s Day gift for mom of 1-yr-old. They love it.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 25, 2026
recommand products
24 nail tips Luxury Rhinestone Nail Set: Nude Pink Base Meets Colorful Rhinestones, Lighting Up Finger - tip Charm
13.90
Top-up into Ad Accounts
1500.00
8-piece Set Mixed Style 3D Rhinestone & Charm Press On Nails Set - Reusable Artificial Fake Nails for Daily & Party Wear
33.60
Car Charger Rear Seat Multifunctional USB Interface | Super Fast Charging Car Charger
13.23
Men's Eau de Toilette - Fresh and romantic fougere scent woody fragrance 50ml cologne lasting
29.47