Front cover of The Seventeen Provers of the World by Freek Wiedijk
4 editions
2006 first published
III · Science

The Seventeen Provers of the World

Subjects Algebra · Proof theory · Data processing · Computer programs · Mathematics · Computers
Language ENG
Free download
Download "The Seventeen Provers of the World"
PDF·EPUB·MOBI·TXT

No signup. No fees. Yours to keep.

About this book

The Seventeen Provers of the World, written by Freek Wiedijk, is now in the public domain and available here for free download. this title joins thousands of works in our science collection.

Click the download button above to receive the complete text in your preferred ebook format—PDF, EPUB, MOBI, or plain text.

See all →
Cover of Houghton Mifflin Science California by Houghton Mifflin Company Staff

Houghton Mifflin Science California
Cover of A History of Magic and Experimental Science, Volume 1 (of 2): During the First Thirteen Centuries of Our Era by Lynn Thorndike

A History of Magic and Experimental Science, Volume 1 (of 2): During the First Thirteen Centuries of Our Era
Cover of Heinemann Mathematics by Scottish Primary Mathematics Group

Heinemann Mathematics
Cover of Houghton Mifflin Science Leveled Readers by Houghton Mifflin Company Staff

Houghton Mifflin Science Leveled Readers
Cover of [William Wheeler Hubbell, authorized to apply for patents.] by United States. Congress. Senate. Committee on Patents

[William Wheeler Hubbell, authorized to apply for patents.]
Cover of Pharmacographia: A history of the principal drugs of vegetable origin, met with in Great Britain and British India by Friedrich A. (Friedrich August) Flückiger

Pharmacographia: A history of the principal drugs of vegetable origin, met with in Great Britain and British India