English
Model theory and arithmetic :
comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique
Berline, C. (Editeur) ; Mcaloon, K. (Editeur) ; Ressayre, J. P. (Editeur)
1981
306 p.
978-3-540-11159-7
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
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais ; Français
EAN13 : 9783540111597
ISBN : 3-540-11159-X
Collation : 25 cm#broch.
Collection : Lecture notes in mathematics
N° de collection : 0890
Localisation : Collection 1er étage
Année de la rencontre : 1979 ; 1980
Ville du congrès : Paris
Pays du congrès : France
Type Congrès : Séminaire
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00013687 | [disponible] |
