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 Colliding Plane Waves in General Relativity by

bigCover of the book On the Improvement of the Understanding by

bigCover of the book Elements of the Theory of Markov Processes and Their Applications by

bigCover of the book Young Goodman Brown and Other Short Stories by

bigCover of the book The Tale of Genji by

bigCover of the book Talks to Teachers on Psychology and to Students on Some of Life's Ideals by

bigCover of the book Applications of Tensor Analysis by

bigCover of the book Great Ships in New York Harbor by

bigCover of the book A History of Greek Mathematics, Volume I by

bigCover of the book Cloisonné Enameling and Jewelry Making by

bigCover of the book Shakespeare, In Fact 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