m

F Nous contacter

0

Documents  Lawvere, F. W. | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 126 p.
ISBN 978-3-540-16096-0

Lecture notes in mathematics , 1174

Localisation : Collection 1er étage

18-XX ; 53-XX ; 58-XX ; 70-XX ; 76-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-05920-2

Lecture notes in mathematics , 0274

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07164-8

Lecture notes in mathematics , 0445

Localisation : Collection 1er étage

catégorie interne # catégorie sémantique # classification # finitude # langage interne des topoi # logique et théorie des ensembles # sémantique de Kripke-Joyal # théorie de Horn abstraite # théorie des modèles # théorème de complétude pour catégorie logique # topos élémentaire # univers en topoi

02B15 ; 02C15 ; 02G20 ; 02H10 ; 02JXX

... Lire [+]

Z