Proofs And Algorithms by Gilles Dowek