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 101 Great American Poems by

bigCover of the book The Life of Josiah Henson by

bigCover of the book Applied Analysis by the Hilbert Space Method by

bigCover of the book An Introduction to Orthogonal Polynomials by

bigCover of the book Japanese Animal and Floral Crest Designs by

bigCover of the book 24-Hour Sewing Projects by

bigCover of the book Western Islamic Architecture by

bigCover of the book Fantasy World-Building by

bigCover of the book Statistical Mechanics by

bigCover of the book The Complete Guide to Artistic Anatomy by

bigCover of the book The Tale of Genji by

bigCover of the book Make Your Own Ice Cream by

bigCover of the book Mathematics of Relativity by

bigCover of the book Lost Gold and Silver Mines of the Southwest 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