Be Charmed by These Bewitching Books from 2025

Join the Goodreads Author Program

Are you Herman Geuvers, author of the books below?
Types for Proofs and Programs by Herman Geuvers Intelligent Computer Mathematics by Herman Geuvers Intelligent Computer Mathematics by Herman Geuvers Logic Colloquium 2006 by S. Barry Cooper Interactive Theorem Proving by Marko van Eekelen Type Theory and Formal Proof by Rob Nederpelt Type Theory and Formal Proof by Rob Nederpelt Interactive Theorem Proving by Marko van Eekelen


To join the author program as Herman Geuvers, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads