Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

Nonfiction, Science & Nature, Mathematics, Logic

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Logic for Computer Science

More books from Dover Publications

bigCover of the book Buddhist Meditation by

bigCover of the book Euclidean Geometry and Transformations by

bigCover of the book Computational Fluid Dynamics with Moving Boundaries by

bigCover of the book 70 Classic Quilting Patterns by

bigCover of the book Elements of Number Theory by

bigCover of the book The Evolution of War by

bigCover of the book An Encyclopedia of Battles by

bigCover of the book Experiments in Topology by

bigCover of the book You Can Draw Dogs by

bigCover of the book Introductory Graph Theory by

bigCover of the book Renaissance and Baroque Ceiling Masterpieces by

bigCover of the book Perspective Drawing by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy