Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 14 - Jul 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:
- 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.4 ★★★★★
Based on 785 reviews
Sort
Product Reviews
★★★★★ 5
Great
Good quality and price. Perfect size fit. Easy to install
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 29, 2026
★★★★★ 5
Great Quality Filter and Perfect Fit for My 2022 CR-V
I bought this EPAuto air filter for my 2022 Honda CR-V 1.5L, and it couldn’t have been easier to install. It fits exactly like the original — snug and secure — and the whole process took under five minutes without any tools. Just open the air box, pull out the old filter, and drop this one in.
The quality feels solid with a sturdy frame and well-made filter material. It’s not flimsy at all, and you can tell it’s built to last. After swapping it in, I noticed the engine felt a bit smoother, and there was a slight improvement in responsiveness, especially during acceleration. I’m also hoping it helps with fuel efficiency over time.
Honestly, for the price and convenience, this is a no-brainer. It’s a simple upgrade you can do yourself that helps protect your engine and saves you money on dealership replacements. Highly recommended if you drive a newer CR-V like mine!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on July 24, 2025
★★★★★ 5
Honda air filter
I am very happy with the air filter, it fitted perfectly in my Honda Civic.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 4, 2026
★★★★★ 5
Size Does Matter
Product: Air Intake Filter
Brand: EPAuto
Positives: Super affordable and compact. Easy to remove and install, just loosen 4 screws and that’s it. Made with quality and durable material. The filter provides ideal airflow for the engine to function properly.
Negatives: None.
Overall Impression: I needed a replacement filter for my wife’s car and I didn’t want to spend a small fortune. This item was practically a steal at the list price. No need to spend more money, all the quality and longevity can be had with this filter. My wife drives her car almost every day and that means it gets a pretty good amount of use and lasts about 12 months until I decide to change them again. I would definitely recommend this product to others looking for a similar product.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on November 3, 2025
★★★★★ 4
Performance was good
my usual to go product for Honda CRV i had for long time. But last item i received I was not happy the quality seems like changed from past products. so far i had no complains. Packaging as always was solid. Performance was good. Lasted for more than mileage mentioned on the product page. Air flow is good.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on December 1, 2025
recommand products
VIBRANT PERFORMANCE J Style Oxygen Sensor We ld On Bung 1192
49.95
ALLSTAR PERFORMANCE Caliper Bracket Big GM Weld On ALL42100
49.95
FEL-PRO Intake Gasket Set - SBC w/Steel Core 1206 S-3
51.95
SCRIBNER Utility Jug - 5-Gallon Yellow 2000Y
50.95
VIBRANT PERFORMANCE 1.25in O.D. 90 Degree Mandrel Bend 13030
49.95