m
     
Congrès

H 0 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)

Springer-Verlag

1981

306 p.

978-3-540-11159-7

00013687

03-06 ; 03C55 ; 03C65 ; 03H15

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013687

[disponible]
Z