Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- v; 80 p.
Cote : 00038475
théorie descriptive des ensembles # variété algébrique # théorie de la classification
03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 306 p.
Cote : 00013687
arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles
03-06 ; 03C55 ; 03C65 ; 03H15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 323 p.
Cote : 00014010
algèbre de cylindre # algèbre de relation # algèbre p-adique # ensemble # fondement de la logique mathématique # logique algébrique # logique mathématique # modèle # théorie de modèle
03C55 ; 03G15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00000771
hypothèse du continu # logique mathématique # modèle de théorie des ensembles # modèle syntactique # problème et méthode # semi-ensemble # théorie de la décidabilité # théorie des ensembles # théorie des modèles
03B25 ; 03C55 ; 03Cxx
Localisation : Colloque 1er étage (VARE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 196 p.
Cote : 00000199
analyse non-standard # théorie des modèles # ultra puissance
03C20 ; 03C55 ; 03C70 ; 03Cxx
Localisation : Ouvrage RdC (Stud)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 167 p.
Cote : 00028093
théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne
03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
English