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 Decentralized Control of Complex Systems by

bigCover of the book Nonlinear Functional Analysis by

bigCover of the book Creative Perspective for Artists and Illustrators by

bigCover of the book Four Different Stories by

bigCover of the book Introduction to Probability by

bigCover of the book The Soul of Kierkegaard by

bigCover of the book Chinese Brush Painting by

bigCover of the book The Autobiography of Thérèse of Lisieux by

bigCover of the book Modular Origami Polyhedra by

bigCover of the book Painting Trees and Landscapes in Watercolor by

bigCover of the book German Requiem in Full Score by

bigCover of the book Meyrick's Medieval Knights and Armour by

bigCover of the book Mexican Indian Folk Designs by

bigCover of the book Perspective Drawing Handbook by

bigCover of the book Partial Differential Equations with Fourier Series and Boundary Value Problems 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