Title: Computation, Proof, Machine: Mathematics Enters a New Age, Author: Gilles Dowek
Title: Ensembles ordonnés finis : concepts, résultats et usages / Edition 1, Author: Nathalie Caspard
Title: Recueil de petits probl�mes en Scheme / Edition 1, Author: L. Moreau