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 The Way of a Pilgrim and Other Classics of Russian Spirituality by

bigCover of the book Games, Theory and Applications by

bigCover of the book Mind-Boggling Word Puzzles by

bigCover of the book Methods of Quantum Field Theory in Statistical Physics by

bigCover of the book Theory of Approximation by

bigCover of the book The Seaman's Friend by

bigCover of the book Buffalo Soldiers by

bigCover of the book First Spanish Reader by

bigCover of the book Alchemy and Alchemists by

bigCover of the book Athletics in the Ancient World by

bigCover of the book Symphonies Nos. 6 and 7 in Full Score 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