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 World I Live In and Optimism by

bigCover of the book Space Cat Meets Mars by

bigCover of the book The Skeleton Key of Mathematics by

bigCover of the book General Topology by

bigCover of the book Bach Masterpieces for Solo Piano by

bigCover of the book Snowflake Designs by

bigCover of the book Celtic Prayers and Incantations by

bigCover of the book Rosenkavalier in Full Score by

bigCover of the book Selected Fables of Jean de la Fontaine by

bigCover of the book Masterpieces of Italian Decorative Ironwork by

bigCover of the book Selected Short Stories by

bigCover of the book Lively Advertising Cuts of the Twenties and Thirties by

bigCover of the book The Schwarz Lemma 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