Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 146 p.
Call n° : 00000181
00A30 ; 03-XX ; 03AXX
Location : Ouvrage RdC (HEYT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Call n° : 00012088
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates
03-XX ; 68-XX ; 94-XX
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 324 p.
Call n° : 00012099
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages
03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 280 p.
Call n° : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire
03-XX ; 03-99 ; 03A05
Location : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 567 p.
Call n° : 00029925
logique mathématique # théorie de la démonstration # épistémologie
03-XX ; 03A05
Location : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 493 p.
Call n° : 00012736
logique classique
03-XX ; 03B05 ; 03B30 ; 03B48
Location : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 176 p.
Call n° : 00016128
fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types
03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20
Location : Disparu;Ouvrge RdC (KRIV)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 704 p.
Call n° : 00015511
algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique
00B25 ; 03-XX ; 06-XX ; 08-XX ; 11-XX
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Call n° : 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
Location : Ouvrage RdC (RASI)