INTRODUCTION Logique mathématique étude ... - UFR 6

7 mai 2015 ... Logique, calculabilité et complexité ? B. Mariou ? Printemps 2015 ..... le mathématicien arabe qui a introduit les chiffres indiens. cf le livre de la.


Un extrait du document