SKU: 20549791521

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Sale price$25.21 Regular price$28.01
Save 10%

Pay in installments of $7.00 with ShopPay, AfterPay and Klarna

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Sep 14 - Sep 19

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:
  1. 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
SKU: 20549791521

Discover Niche Categories That Outsell

Top-Converting Item to Boost Your Average Order

4.3 ★★★★★
Based on 13 reviews
Sort
Highest Rating
Newest First
Oldest First
Product Reviews
B
Verified Purchase
babs
Whiting, US
★★★★★ 5
Great find
Color: Grey Striped, Size: 72"W x 74"L (Pack of 1)
Its absolutely beautiful. Very nice material. Worth it.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 11, 2026
D
Verified Purchase
D. Worrell
Phoenix, US
★★★★★ 5
Excellent Quality and Good Looking, too!
Color: Grey Striped, Size: 72"W x 72"L (Pack of 1)
This is a beautiful shower curtain - good fabric, falls nicely, brings subtle color to bathroom. Just what I was looking for.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 10, 2026
L
Verified Purchase
Larry
West Palm Beach, US
★★★★★ 5
Well made shower curtain
Color: Grey Striped, Size: 72"W x 72"L (Pack of 1)
It's nice and fits my shower for and good price
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 12, 2026
T
Verified Purchase
Terry
Grantham, US
★★★★★ 5
Good product
Color: Grey Striped, Size: 72"W x 72"L (Pack of 1)
Very nicely made
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 10, 2026
W
Verified Purchase
Walter P.
Massapequa, US
★★★★★ 4
Just okay
Color: Grey Striped, Size: 72"W x 84"L (Pack of 1)
Okay curtain, not great, but not bad. Looks like it has kind of a faint background design. Has a plastic type feel. Looks okay.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on October 17, 2025

recommand products