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.2 ★★★★★
Based on 9 reviews
Sort
Product Reviews
★★★★★ 3
Nice product but size is not as expected
Size: 3X-Large, Color: Green White
This shirt is really nice and really stands out only downside is the size isn't as expected. I usually wear a 2xl and decided to go with a 3xl and it was still a bit too fitted for me liking..Disappointed I couldnt use it
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on November 28, 2025
★★★★★ 5
My husband bought 5!!!
Size: X-Large, Color: Black Dark Gray
Good fit and color combos. Size L was accurate using chart. Washed cold/delicate, air fluffed in dryer turned out good.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 11, 2026
★★★★★ 4
Snazzy!
Pretty good shirt, embracing my Sopranos/ Goodfellas in the daily life. However, the red is soooo much darker than shown, otherwise it would be a 5 Star.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 8, 2026
★★★★★ 5
Dress shirt
Size: Large, Color: Light Blue
Fit perfect
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 14, 2026
★★★★★ 5
Happy Husband 😊
Size: XX-Large, Color: Light Blue
Great material and fit. My husband was very happy with the shirt!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 18, 2026
recommand products
Peach Colour Block Print With Mirron Embroidered Pure Mulmul Cotton Saree By Gayathri Reddy Designer Studio
85.78
Brake lines Mercedes C Class 203 Series C230 K 2.3 Supercharged (2001-2005) HEL
111.37
Apple AirTag Leather Loop
12.94
Creame Coloured Combination Printed Cotton Saree By Gayathri Reddy Designer Studio
61.34
Apple AirTag - 1 Pack
23.97