- FR UMR7117 CP-C-1
- File
- 1985-05-29 - 2014-05
Part of Fonds Claude Pair
Part of Fonds Claude Pair
Part of Fonds Marion Créhange
Part of Fonds Marion Créhange
CRIN Centre de recherche en Informatique de Nancy
Part of Fonds Claude Pair
CRIN Centre de recherche en Informatique de Nancy
24 Septembre 1993
20ème anniversaire
Claude Pair
Part of Fonds Marion Créhange
Part of Fonds Marion Créhange
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
Jean Largeault
Part of Fonds Jean Largeault
Cours de logique à Toulouse, avec en tête Dana Scott, et à la fin Quine (photocops)
VI la méthode
L'intuitionnisme (livre prêt)
Texte du QSJ sur la logique, avec en tête une page de Brouwer et une lettre de Claude Bruter disant que c'est excellent
Jean Largeault
Part of Fonds Jean Largeault
Jean Largeault