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 Stuff of Dreams by

bigCover of the book Finite Elements of Nonlinear Continua by

bigCover of the book Those Were the Days: Weird and Wacky Ads of Yesteryear by

bigCover of the book The Big Brain Puzzle Book by

bigCover of the book Essential Italian Grammar by

bigCover of the book Foundations of the Theory of Probability by

bigCover of the book Functional Analysis by

bigCover of the book Fourier Analysis in Several Complex Variables by

bigCover of the book A Course on Group Theory by

bigCover of the book Essential Portuguese Grammar by

bigCover of the book Choral Orchestration by

bigCover of the book Pirates and Piracy by

bigCover of the book Quick-and-Easy Crazy Quilt Patchwork 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