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 Willy Pogány Rediscovered by

bigCover of the book Instructions for His Generals by

bigCover of the book George Washington by

bigCover of the book The Stuff of Dreams by

bigCover of the book Choral Orchestration by

bigCover of the book The Art of the Cinematographer by

bigCover of the book Applied Complex Variables by

bigCover of the book Batik and Tie Dye Techniques by

bigCover of the book Malice Aforethought by

bigCover of the book The Compleat Angler by

bigCover of the book The Body Snatcher and Other Tales by

bigCover of the book Japanese Love Poems by

bigCover of the book Basic Abstract Algebra 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