Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 318 p.
Cote : 00012022
logique # logique mathématique # logique symbolique # théorie d'ensembles
03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018698
algèbre de relation # décidabilité # indécidabilité # logique mathématique
03B05 ; 03B25 ; 03G15 ; 08B15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xiv; 574 p.
Cote : 00035643
structures ordonnées # algèbre booléenne # anneau booléen # espace booléen # algèbre de mesures
06Exx ; 06-01 ; 06E05 ; 06E10 ; 06E15
Localisation : Ouvrage RdC (GIVA)
English