I︠U︡riĭ Leonidovich Ershov

Matematika v prilozhenii︠a︡kh

2009

Multi-valued fields

2001

Strukturnye i slozhnostnye pro

Strukturnye i slozhnostnye problemy vychislimosti

1999

Handbook of recursive mathematics

1998

Obobshchennai︠a︡ vychislimostʹ

Obobshchennai︠a︡ vychislimostʹ i opredelimostʹ

1998

Strukturnye algoritmicheskie s

Strukturnye algoritmicheskie svoĭstva vychislimosti

1996

Voprosy algebry i fiziki

Voprosy algebry i fiziki

1996

Teorii︠a︡ vychisleniĭ i i︠a︡zy

Teorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ

1995

Logika i semanticheskoe progra

Logika i semanticheskoe programmirovanie

1992

XI Mezhrespublikanskai︠a︡ konf

XI Mezhrespublikanskai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike, Kazanʹ, 6-8 okti︠a︡bri︠a︡

1992

Teorii︠a︡ vychislimosti i i︠a︡

Teorii︠a︡ vychislimosti i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ

1991

Logicheskie metody v programmi

Logicheskie metody v programmirovanii

1990

Teorii︠a︡ algoritmov i ee pril

Teorii︠a︡ algoritmov i ee prilozhenii︠a︡

1989

I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i

I︠A︡zyki spet︠s︡ifikat︠s︡iĭ i logicheskoe programmirovanie

1988

Teorii︠a︡ modeleĭ i ee primene

Teorii︠a︡ modeleĭ i ee primenenii︠a︡

1988

Prikladnye aspekty matematiche

Prikladnye aspekty matematicheskoĭ logiki

1987

Logicheskie voprosy teorii tip

Logicheskie voprosy teorii tipov dannykh

1986

Prikladnai︠a︡ logika

Prikladnai︠a︡ logika

1986