Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- ix; 174 p.
Cote : 00039648
théorie des modèles # non-résolubilité # logique mathématique # forcing
03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25
Localisation : Colloque 1er étage (SING)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- x-181 p.
Cote : 00037474
logique mathématique # théorie des modèles # informatique
03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx
Localisation : Colloque 1er étage (SING)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- x; 269 p.
Cote : 00040166
logique # théorie des ensembles # calcul complexe # théorème de Goodstein # cardinal # limite de Fraïssé # idéal # 10ème problème de Hilbert
03-06 ; 03D20 ; 03E40 ; 03C62 ; 00B25
Localisation : Ouvrage RdC (SETS)
English