Cover 5

Computation, Proof, Machine

Cover 5

Computation, Proof, Machine

Computation, Proof, Machine: Mathematics Enters a New Age

ByGilles Dowek,Pierre Guillot(Translator),

ByGilles Dowek,Pierre Guillot(Translator),+1 more

2015

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies