Pay in installments of $7.00 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 17 - Jul 22
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 18 reviews
Sort
Product Reviews
★★★★★ 5
Nice, spacious leather wallet
Color: Dark Coffee Brown
Nice quality leather wallet, lots of places to put IDs and credit cards. I'll take it that it is RFID blocking, no way of testing that!! If you like to keep photos and other IDs in the clear plastic windows, you'll need to buy those separately. Still, this is a nice wallet, good quality, holds my "stuff" -- I'm happy!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 13, 2026
★★★★★ 5
Quality craftsmanship
Color: Brown
Great design , love it so far has plenty of room
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 26, 2026
★★★★★ 5
Good, Functional Wallet
Color: Black
Good, functional wallet for the money.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 2, 2026
★★★★★ 5
Outstanding Wallet
Very good Wallet Nice leather looks very nice and was easy to break in. I carry it in my front pocket and it is not to bulky. Holds a lot of card and has two pockets for cash.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 12, 2026
★★★★★ 5
Good quality
Color: white, Color: white
The bags are sturdy, and the tiger and the tassel add a touch of Korean culture. Great for gifts.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on August 26, 2025
recommand products
Magical Ritual Methods
16.96
Sefer Yetzirah: The Book of Creation
40.80
Wilwolfer Play Tent For Kids Indoor - Kids Play Tent Indoor Toddlers Play Tent Large Toddler Tent For Kids Toy House Birthday Gift For Boys & Girls Playroom Decor (Brown Playhouse)
51.30
30 Second Dance Party Button - Fun Gag Gift with 5 Songs, Pack of 2, Orange, Plastic - Perfect for Kids, Adults, Office & Parties
57.55
Morcheiong 12 Pack Party Sunglasses In Bulk For Birthday Summer Party Goody Bag Fillers Favors (White)
16.30