m

F Nous contacter

0

Documents  03C90 | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

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

- 779 p.
ISBN 978-3-540-09564-4

Lecture notes in mathematics , 0753

Localisation : Collection 1er étage

03C90 ; 03G30 ; 14Fxx ; 18F20 ; 55N30

... Lire [+]

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

- xxii-191 p.
ISBN 978-0-19-960916-1

Oxford logic guides , 0047

Localisation : Ouvrage RdC (BELL)

logique mathématique # axiome de choix # algèbre de Heyting # algèbre booléenne # consistance # indépendance # hypothèse du continuum # axiome de Martin # problème de Souslin

03E40 ; 03-02 ; 03C90 ; 03E35 ; 03E50 ; 03E25

... Lire [+]

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

- 237 p.
ISBN 978-90-6196-244-1

Mathematical centre tracts , 0152

Localisation : Collection 1er étage

mathéma tiques intuitives # mathématiques constructives # théorie de la preuve logique mathématiques # théorie des modèles

03C65 ; 03C90 ; 03F25 ; 03F50 ; 03F55

... Lire [+]

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

- 486 p.
ISBN 978-0-444-85207-6

Studies in logic and the foundations of mathematics , 0098

Localisation : Ouvrage RdC (GOLD)

algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme

03B20 ; 03C90 ; 03G30 ; 18B25

... Lire [+]

Z