[Lecture Notes in Mathematics] Model Theory and Arithmetic Volume 890 || Borne superieure de la complexite de la theorie de ℕ muni de la relation de divisibilite
Berline, Chantal, McAloon, Kenneth, Ressayre, Jean-PierreVolume:
10.1007/BF
Year:
1981
DOI:
10.1007/BFb0095666
File:
PDF, 360 KB
1981