I︠U︡riĭ Leonidovich Ershov

• Constructive models