Cote : 00021172
complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu
03-06 ; 03Exx ; 06B23 ; 14Axx ; 14L99
Localisation : Collection 1er étage