Informatique théorique : Calculabilité, Décidabilité et logique

... exercice de notation doit rester strictement limité. « L'agence est chargée ... math to this project is rather complex and not useful to the purpose of this ...