m

F Nous contacter

0

Documents  Givant, Steven | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 318 p.
ISBN 978-0-8218-1041-5

American mathematical society colloquium publications , 0041

Localisation : Collection 1er étage

logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

... Lire [+]

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


ISBN 978-0-8218-0595-4

Memoirs of the american mathematical society , 0604

Localisation : Collection 1er étage

algèbre de relation # décidabilité # indécidabilité # logique mathématique

03B05 ; 03B25 ; 03G15 ; 08B15

... Lire [+]

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

- xiv; 574 p.
ISBN 978-0-387-40293-2

Undergraduate texts in mathematics

Localisation : Ouvrage RdC (GIVA)

structures ordonnées # algèbre booléenne # anneau booléen # espace booléen # algèbre de mesures

06Exx ; 06-01 ; 06E05 ; 06E10 ; 06E15

... Lire [+]

Z