Français
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. (Editor) ; Mcaloon, K. (Editor) ; Ressayre, J. P. (Editor)
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
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne
Language : English ; French
EAN13 : 9783540111597
ISBN : 3-540-11159-X
Collation : 25 cm#broch.
Series : Lecture notes in mathematics
Nb in series : 0890
Location : Collection 1er étage
Event Year : 1979 ; 1980
City of congres : Paris
Country of congres : France
Conference type : Séminaire
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00013687 | [available] |
