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 King Arthur in Search of His Dog and Other Curious Puzzles by

bigCover of the book The Great Anarchists by

bigCover of the book American Slaves Tell Their Stories by

bigCover of the book Make in a Day: Garlands by

bigCover of the book Needle-Made Laces and Net Embroideries by

bigCover of the book Linear Programming: An Introduction to Finite Improvement Algorithms by

bigCover of the book Play with a Pro Trombone Music by

bigCover of the book Harter's Picture Archive for Collage and Illustration by

bigCover of the book Say It in Portuguese (Brazilian) by

bigCover of the book Illustrating Nature: How to Paint and Draw Plants and Animals by

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

bigCover of the book The Story of American Railroads by

bigCover of the book Drawing the Head 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