Les publications du Collège de France

1 publications

Filtres actifs

Thierry Coquand
La théorie des types, de Russell aux assistants à la démonstration
Leçons inaugurales
Édition imprimée