I︠U︡riĭ Leonidovich Ershov

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︡