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 100 Victorian Architectural Designs for Houses and Other Buildings by

bigCover of the book Permutation Groups by

bigCover of the book Introduction to Stochastic Processes by

bigCover of the book Stability & Periodic Solutions of Ordinary & Functional Differential Equations by

bigCover of the book Outside the Box! by

bigCover of the book The American Builder's Companion by

bigCover of the book Drawing the Living Figure by

bigCover of the book A First Course in Topology by

bigCover of the book Jude the Obscure by

bigCover of the book Fibonacci Numbers by

bigCover of the book Victorian Goods and Merchandise by

bigCover of the book What If It Does Work Out? by

bigCover of the book Legends of the Egyptian Gods 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