S. S. Goncharov

I︠U︡riĭ Leonidovich Ershov

I︠U︡riĭ Leonidovich Ershov

2010

Mathematical problems from applied logic II

2007

Matematicheskie modeli i vychi

Matematicheskie modeli i vychislitelʹnye struktury

2004

Matematicheskie modeli v infor

Matematicheskie modeli v informatike

2002

Konstruktivnye modeli

Konstruktivnye modeli

1999

Recursive Algebra, Analysis an

Recursive Algebra, Analysis and Combinatorics

1998

Recursive Model Theory

Recursive Model Theory

1998

Countable Boolean algebras and decidability

1997

Schetnye bulevy algebry i razreshimostʹ

1996

Strukturnye algoritmicheskie s

Strukturnye algoritmicheskie svoĭstva vychislimosti

1996

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

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

1995

Vvedenie v logiku i metodologii͡u︡ nauki

1994

Logika i semanticheskoe progra

Logika i semanticheskoe programmirovanie

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

Schetnye bulevy algebry

Schetnye bulevy algebry

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

Logiko-matematicheskie osnovy

Logiko-matematicheskie osnovy problemy MOZ

1985