S. S. Goncharov
22 works on record
Works
Countable Boolean algebras and decidability
1997
Vvedenie v logiku i metodologii͡u︡ nauki
1994
Mathematical problems from applied logic II
Schetnye bulevy algebry i razreshimostʹ
Konstruktivnye modeli
1999
Schetnye bulevy algebry
1988
Logicheskie metody v programmirovanii
Teorii︠a︡ algoritmov i ee prilozhenii︠a︡
Logiko-matematicheskie osnovy problemy MOZ
Teorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
Teorii︠a︡ vychislimosti i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
I︠U︡riĭ Leonidovich Ershov
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
Matematicheskie modeli v informatike
Matematicheskie modeli i vychislitelʹnye struktury
Strukturnye algoritmicheskie svoĭstva vychislimosti
Recursive Algebra, Analysis and Combinatorics
Recursive Model Theory