Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
La théorie des types, de Russell aux assistants à la démonstration
Éditeur(s) : Collège de France
Synthèse de l'évolution historique et conceptuelle de la théorie des types, de ses fondements logiques posés par B. Russell jusqu'aux avancées contemporaines des types dépendants. L'auteur explore les diverses facettes de cette discipline, outil indispensable pour la...
12,00 €
Chargement...
Résolutions libres finies : méthodes constructives
Éditeur(s) : Calvage et Mounet
Des études consacrées aux résolutions libres finies telles qu'elles ont été théorisées par Douglas Geoffrey Northcott. ©Electre 2026
25,00 €
Chargement...
