Skip to main content

Save $15 through Sunday. Get the code »

alibris logo

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

by

Write The First Customer Review
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition - Gallier, Jean
Browse related Subjects
+ Browse All Subjects
loading
    • eBook Details
    eBook icon EPUB eBook Logic for Computer Science

    This is a digital edition of this title.

    Buy eBook

    • Title: Logic for Computer Science by Jean H. Gallier
    • Publisher: Dover Publications
    • Print ISBN: 9780486780825, 0486780821
    • eText ISBN: 9780486805085
    • Edition: 2015 1st edition
    • Format: EPUB eBook
    $32.95
    digital devices
    • This is a digital eBook
      Nothing will be shipped to you
    • Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices
    • Most eBooks are returnable within 14 days of purchase
    • Questions? See our eBook FAQ
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.