Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 13 - Jul 18
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.5 ★★★★★
Based on 2107 reviews
Sort
Product Reviews
★★★★★ 4
Pretty shelves for small space
Size: 17 Inch, Color: Natural
Good quality shelves and easy to install once I used my own stronger anchors and screws. The ones provided were too weak and made the shelf unstable. I had to patch several holes in my wall before installing them correctly. If they had provided better quality anchors I would have rated it 5 stars. Still very happy with my purchase.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on July 12, 2025
★★★★★ 1
Flimsy and doesn’t hold weight
Size: 17 Inch, Color: Natural, Size: 17 Inch, Color: Natural
Do not buy this. The frame this comes with is so small and flimsy. I didn’t even have anything on the shelves yet and they were falling off the wall. The wood is a beautiful color but the quality is awful.
I had different floating shelves on the same wall and I included a picture of the thick metal frame those came with, also from Amazon to show how flimsy this brand is.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 24, 2026
★★★★★ 5
Really nice shelves well-made
Size: 30 Inch, Color: Walnut, Size: 30 Inch, Color: Walnut
I recently installed a set of floating wooden shelves above my kitchen sink, and they have completely transformed the space. The natural wood grain adds warmth and character, making my kitchen feel more open and inviting. The shelves are sturdy and well-made, supporting everything from dishware to small plants and decorative items without any sagging.
Installation was straightforward, with the included hardware making it easy to mount them securely. I was pleasantly surprised by how well they hold weight while maintaining a sleek, minimalistic look. The floating design gives a clean, uncluttered aesthetic, which is exactly what I was looking for.
Functionally, they’ve made a huge difference. I can now keep everyday essentials like mugs and spices within easy reach while freeing up valuable counter space. They’re also a great alternative to upper cabinets, preventing the area above my sink from feeling closed in.
Overall, these floating wooden shelves are both practical and stylish. Whether you’re looking to add storage or just enhance your kitchen’s design, they’re a fantastic option. I highly recommend them for anyone wanting a simple yet impactful upgrade to their space!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on February 13, 2025
★★★★★ 3
Look nice, not sturdy or supportive
Size: 17 Inch, Color: Dark Blue
The color and thickness of the shelf is great. Very easy to install. But the wall mount portion is cheaply made and doesn’t support the shelf as well as it should. Once mounted the shelf leans forward and isn’t sturdy. After mounting, I found my items had slid off end up on the floor.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 24, 2026
★★★★★ 5
The color is beautiful
Size: 17 Inch, Color: Dark Blue
These are beautiful! I bought them for my Grandsons Baseball room. We haven’t put them up yet. They will be a great addition to his red, white, and blue baseball room!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 18, 2026
recommand products
Moto Leggings (Truly Contagious)
19.99
CC Kids Sequin Faux Fur Pom Beanie
25.99
Women's Casual Blouse 3/4 Sleeve V-neck Shirt Collar 95% Lyocell, 5% Linen Blue Aloha Vintage Hawaiian Woodblock Print
59.00
Women's Casual Floral Wide Leg Pants Lounge Elastic Waist Drawstring with Pockets 93% Lyocell, 7% Linen Green Aloha Vintage Hawaiian Woodblock Print
69.00
Women's Casual Skirt Elastic Waist with Pockets 100% Cotton Orange Aloha Tropical Rhapsody In Orange
59.00