Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 126 p.
ISBN 978-0-19-853168-5
Oxford logic guides
Localisation : Ouvrage RdC (BELL)
algèbre Booléen # axiome du choix # logique algébrique # modèle d'algèbre à valeur booléenne # théorie des ensembles
03Exx ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p.
ISBN 978-0-19-853241-5
Oxford logic studies , 0012
Localisation : Ouvrage RdC (BELL)
logique mathématique et base # modèle Booléen-évalué # résultat d'uniformité et d'indépendance
03E40 ; 03-02 ; 03E35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 599 p.
ISBN 978-0-7204-2844-5
Localisation : Ouvrage RdC (BELL)
logique mathématiques # logique symbolique
03-XX
... Lire [+]