Gianluca Basso

Enseignement & Phd

Enseignement

Mathematics,

Cours

Gödel and recursivity

Théorèmes d'incomplétude de Gödel et fondements mathématique de l'informatique.