m

F Nous contacter

0

Documents  03F65 | enregistrements trouvés : 13

O
     

-A +A

P Q

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


ISBN 978-0-19-850127-5

Oxford logic guides , 0036

Localisation : Colloque 1er étage (VENI)

analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

... Lire [+]

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

- 91 p.
ISBN 978-0-8218-5040-4

Contemporary mathematics , 0039

Localisation : Collection 1er étage

03A05 ; 03E25 ; 03E45 ; 03F65 ; 36A03

... Lire [+]

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

- 347 p.
ISBN 978-3-540-10850-4

Lecture notes in mathematics , 0873

Localisation : Collection 1er étage

fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

... Lire [+]

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

- 142 p.
ISBN 978-90-6196-395-0

CWI tract , 0084

Localisation : Collection 1er étage

algèbres non associatives # algèbre de Lie # algèbre de Lie des groupes algébriques linéaires # algèbre linéaire # algèbre multilinéaire # anneaux non associatifs # classification # combinatoire # famille # fibration # fondement des mathématiques # forme canonique # géométrie algébrique # groupe de Lie # groupe algébrique linéaire # groupe classique # groupe de Lie # groupe de Lie semisimple # groupe de permutation # groupe symétrique # groupe topologique # invariant géométrique # logique mathématique # mathématique constructive # partition d'entiers # poids # polynôme # polynômes # réduction # représentation # théorie algébrique # théorie de la preuve # théorie de la representation # théorie des champs # théorie des groupes # théorie des matrices # théorie des polynômes # théorie générale des champs algèbres non associatives # algèbre de Lie # algèbre de Lie des groupes algébriques linéaires # algèbre linéaire # algèbre multilinéaire # anneaux non associatifs # classification # combinatoire # famille # fibration # fondement des mathématiques # forme canonique # géométrie algébrique # groupe de Lie # groupe algébrique linéaire # groupe classique # groupe de Lie # groupe de Lie semisimple # groupe de permutation # groupe symétrique # groupe ...

03F65 ; 05A17 ; 12E05 ; 14D25 ; 15A21

... Lire [+]

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

- 166 p.

Mathématiques et sciences de l'homme , 0006

Localisation : Ouvrage RdC (LORE)

métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

... Lire [+]

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

- 246 p.

Collection de logique mathématque. Série A , 0016

Localisation : Disparu;Ouvrage RdC (TARS)

calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations

03B05 ; 03B80 ; 03F55 ; 03F65

... Lire [+]

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

- 350 p.
ISBN 978-0-19-856651-9

Oxford logic guides , 0048

Localisation : Ouvrages RdC (From)

logique # théorie des ensembles # analyse constructive # mathématiques constructives # mathématiques intuitives

03-06 ; 00B25 ; 03F55 ; 03F60 ; 03F65

... Lire [+]

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

- 466 p.
ISBN 978-0-387-12173-4

Ergebnisse der mathematik und ihrer grenzgebiete 3 folge , 0006

Localisation : Ouvrage RdC (BEES)

logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

... Lire [+]

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

- 467 p.
ISBN 978-0-19-853158-6

Oxford logic guides

Localisation : Ouvrage RdC (DUMM)

formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

03F50 ; 03F55 ; 03F60 ; 03F65

... Lire [+]

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

- 203 p.
ISBN 978-0-273-08418-1

Research notes in mathematics , 0028

Localisation : Ouvrage RdC (BRID)

mathématiques logiques et leurs fondations # approximation et expension # système de Chebyshev # analyse fonctionnelle

03F65 ; 41A50 ; 41A65 ; 46-02

... Lire [+]

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


ISBN 978-0-8218-2277-7

Memoirs of the american mathematical society , 0277

Localisation : Collection 1er étage

03F65 ; 26A48 ; 54C30

... Lire [+]

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

- 477 p.
ISBN 978-3-540-15066-4

Grundlehren der mathematischen wissenschaften , 0279

Localisation : Collection 1er étage

03F65 ; 28C05 ; 28C10 ; 46R05

... Lire [+]

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

- 344 p.
ISBN 978-0-387-96640-3

Universitext

Localisation : Ouvrage RdC (MINE)

algèbre # construction

03F65 ; 13-01

... Lire [+]

Z