Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00013845
structures algebriques ordonnes # structures ordonnees
06-06 ; 06Fxx
Localisation : Publication 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00013846
structures algebriques ordonnees # structures ordonnees
06-06 ; 06Fxx
Localisation : Publication 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xiii; 267 p.
Cote : 00036281
logique mathématique # théorie de la preuve # logique formelle
03-06 ; 03Fxx ; 00B25
Localisation : Colloque 1er étage (WROC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xviii; 366 p.
Cote : 00040076
géométrie algébrique # structure algébrique ordonnée # théorie des modèles # forme quadratique # semigroupe
03Cxx ; 06Fxx ; 11Exx ; 12-XX ; 14Pxx ; 14Qxx ; 32Sxx ; 44A60 ; 54C30 ; 58A07
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00008704
codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux
03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25
Localisation : Publication 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 42 p.
Cote : 00025504
théorie modèle # série formelle
Localisation : Ouvrage RdC (DELO)
English