Pay in installments of $7.00 with
,
and
Shipping Estimate
USA
- USA
- CAN
- 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:
- 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 13 reviews
Sort
Product Reviews
★★★★★ 5
This container is perfect
A durable container that will hold a good amount of syringes. Great for home usage.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 20, 2026
★★★★★ 5
Nice size for storage.
Size: 5 Quart, Unit Count: 2.0
Nice size for my Lantus pens. The price was very reasonable. Sturdy with a nice locking lid.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 24, 2026
★★★★★ 5
Exactly as expected.
Size: 5 Quart, Unit Count: 1.0
Exactly what it is made for. It is a perfect size for months worth of needles that we are using for our peptide injections.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 20, 2026
★★★★★ 4
Works and safe!
Size: 5 Quart, Unit Count: 1.0
Good sharps container. Fits typical diabetic syringes perfectly. It also fits zepbound auto-injection pens, but they are a little more difficult to cram into the opening so I took off a star for that.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 9, 2026
★★★★★ 5
Excellent size
Excellent for prescription needle disposal. The containers provided by my pharmacy are too small and don't hold all of my used prescription supplies. Lid closes easily and keeps everyone safe from accidental insulin injections!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 5, 2026
recommand products
Mini Sacred Heart Turquoise Bracelet or Earrings
19.99
LHJ Signature Rosary Wrap St Benedict Bracelet
38.00
LONDON | Stretchy Anti-Tarnish 14K Gold Filled Bracelet
1609.00
aFe MagnumFLOW Air Filters IAF PDS A/F PDS 3F x 6B x 4-3/4T x 7H
76.00
aFe MagnumFLOW Air Filters IAF PDS A/F PDS 4F x 6B x 4T x 7H
76.00