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 Dinosaur Amigurumi by

bigCover of the book Goyescas, Spanish Dances and Other Works for Solo Piano by

bigCover of the book Mark Twain The Dover Reader by

bigCover of the book Fourier Series and Orthogonal Polynomials by

bigCover of the book A First Book of Chopin by

bigCover of the book King Lear Thrift Study Edition by

bigCover of the book The First American Cookbook by

bigCover of the book Borders, Frames and Decorative Motifs from the 1862 Derriey Typographic Catalog by

bigCover of the book Partial Differential Equations of Mathematical Physics and Integral Equations by

bigCover of the book Mrs. Spring Fragrance by

bigCover of the book Nonlinear Filtering and Smoothing 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