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 Concise Vector Analysis by

bigCover of the book Jellybean Tiaras by

bigCover of the book Cicero's Orations by

bigCover of the book The English and Scottish Popular Ballads, Vol. 4 by

bigCover of the book Piano Concertos Nos. 23-27 in Full Score by

bigCover of the book Advanced Number Theory by

bigCover of the book The Chemical Philosophy by

bigCover of the book Ancient Irish Airs and Dances: 21 Classic Tunes Arranged for Piano by

bigCover of the book The Poems of Edgar Allan Poe by

bigCover of the book The Sword Through the Centuries 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