Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-3-540-11159-7
Lecture notes in mathematics , 0890
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 167 p.
ISBN 978-0-8218-3535-7
Contemporary mathematics , 0361
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (VARE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 323 p.
ISBN 978-3-540-10881-8
Lecture notes in mathematics , 0883
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- v; 80 p.
ISBN 978-0-8218-9475-0
Memoirs of the american mathematical society , 1081
Localisation : Collection 1er étage
théorie descriptive des ensembles # variété algébrique # théorie de la classification
03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 196 p.
ISBN 978-0-88385-108-1
M.A.A. Studies in Mathematics , 0008
Localisation : Ouvrage RdC (Stud)
analyse non-standard # théorie des modèles # ultra puissance
03C20 ; 03C55 ; 03C70 ; 03Cxx
... Lire [+]