عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.890
QA
3
.
L28
no
.
890
کتابخانه
محل استقرار
77764
تابستان۰۹
English
)20(
Model theory and arithmetic: comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80
Berlin
Springer
1981
vi, 306 .; 25 cm
Lecture notes in mathematics
890
English and French
Includes bibliographies references
، Model theory
QA
3
.
L28
no
.
890
TI
edited by C. Berline, K. McAloon, and J.-P. Ressayre
AU (latnahC).C ,enilreB
AU htenneK ,noolAcM
AU (erreiP-naeJ).P-.J ,eryasseR
SE
02
