I
I͡Uriĭ Leonidovich Ershov
7 works on record
Works
Constructive models
2000
Opredelimostʹ i vychislimostʹ
1996
Definability and computability
1996
Handbook of recursive mathematics
Matematicheskai͡a logika
Matematicheskai͡a logika
1987
Problemy razreshimosti i konstruktivnye modeli
Problemy razreshimosti i konstruktivnye modeli
1980
Teorii͡a numerat͡siĭ
Teorii͡a numerat͡siĭ
1977