Vol. 890. Berline, C.; McAloon, K.; Ressayre, J. P. (Eds.) 
Model Theory and Arithmetic: Comptes rendus d'une action thematique progrmme du C. N. R. S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979-80
QA9.7 M6234