Introduction à la calculabilité, Pierre Wolper · Super Livre