I︠U︡riĭ Leonidovich Ershov
21 works on record
Works

Matematika v prilozhenii︠a︡kh

Handbook of recursive mathematics
Multi-valued fields
2001
Mathematical logic
1984
Logicheskie metody v programmirovanii
Teorii︠a︡ algoritmov i ee prilozhenii︠a︡
Teorii︠a︡ modeleĭ i ee primenenii︠a︡
Matematicheskai︠a︡ logika i algoritmicheskie problemy
Teorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
Teorii︠a︡ vychislimosti i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
Voprosy algebry i fiziki
Obobshchennai︠a︡ vychislimostʹ i opredelimostʹ
Prikladnye aspekty matematicheskoĭ logiki
Logicheskie voprosy teorii tipov dannykh
I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i logicheskoe programmirovanie
Logika i semanticheskoe programmirovanie
Prikladnai︠a︡ logika
Strukturnye i slozhnostnye problemy vychislimosti
Strukturnye algoritmicheskie svoĭstva vychislimosti
Matematicheskai︠a︡ logika
XI Mezhrespublikanskai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike, Kazanʹ, 6-8 okti︠a︡bri︠a︡