- FR UMR7117 CP-C-1
- Dossier
- 1985-05-29 - 2014-05
Fait partie de Fonds Claude Pair
Fait partie de Fonds Claude Pair
Fait partie de Fonds Marion Créhange
Fait partie de Fonds Marion Créhange
CRIN Centre de recherche en Informatique de Nancy
Fait partie de Fonds Claude Pair
CRIN Centre de recherche en Informatique de Nancy
24 Septembre 1993
20ème anniversaire
Claude Pair
Fait partie de Fonds Marion Créhange
Fait partie de Fonds Marion Créhange
Fait partie de Fonds Jean Largeault
Jean Largeault
Fait partie de Fonds Jean Largeault
Jean Largeault
Fait partie de 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
Fait partie de Fonds Jean Largeault
Jean Largeault