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 Dance of Death by

bigCover of the book The Firebird and Other Russian Fairy Tales by

bigCover of the book Heck's Pictorial Archive of Art and Architecture by

bigCover of the book Introduction to Differentiable Manifolds by

bigCover of the book Treasury of Fantastic and Mythological Creatures by

bigCover of the book Manual of the Grasses of the United States, Volume Two by

bigCover of the book Vectors and Their Applications by

bigCover of the book Modern Monograms by

bigCover of the book The World's Greatest Short Stories by

bigCover of the book Relativistic Wave Mechanics by

bigCover of the book Classic American Short Stories by

bigCover of the book Sturgis' Illustrated Dictionary of Architecture and Building by

bigCover of the book Abraham Lincoln's Wit and Wisdom by

bigCover of the book Looney Limericks 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