Voulez-vous jouer avec les maths ?de Gilles DowekEdiciones (1)Voulez-vous jouer avec les maths ? (2002)Le Pommier · francés · ISBN 9782746500525Más obras de Gilles DowekTheorem proving in higher order logicsLes me tamorphoses du calculProofs and Algorithms