Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00012784
algebre universelle # combinatoire # complexite # informatique theorique # logique
68Qxx
Localisation : Salle des périodiques 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Cote : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis
[-] algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...
[+] 03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx
Localisation : Ouvrage RdC (RASI)
English