2026 Reading Challenge

Join the Goodreads Author Program

Are you Yves Bertot, author of the books below?
Interactive Theorem Proving and Program Development by Yves Bertot From Semantics to Computer Science by Yves Bertot Theorem Proving in Higher Order Logics by Yves Bertot From Semantics to Computer Science by Yves Bertot From Semantics to Computer Science Essays in Honour of Gilles... by Yves Bertot [Interactive Theorem Proving and Program Development by Yves Bertot


To join the author program as Yves Bertot, 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