I︠U︡riĭ Leonidovich Ershov

• Handbook of recursive mathematics
• Matematika v prilozhenii︠a︡kh
• I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i logicheskoe programmirovanie
• Logicheskie metody v programmirovanii
• Logicheskie metody v programmirovanii
• Logicheskie voprosy teorii tipov dannykh
• Logika i semanticheskoe programmirovanie
• Matematicheskai︠a︡ logika
• Matematicheskai︠a︡ logika i algoritmicheskie problemy
• Mathematical logic
• Multi-valued fields
• Obobshchennai︠a︡ vychislimostʹ i opredelimostʹ