Collège de France publications

1 publications

Active filters

Thierry Coquand
La théorie des types, de Russell aux assistants à la démonstration
Opening Lectures
Édition imprimée