S. S. Goncharov

Logicheskie metody v programmirovanii

Logiko-matematicheskie osnovy problemy MOZ

Teorii︠a︡ algoritmov i ee prilozhenii︠a︡

Logicheskie metody v programmirovanii

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

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

Mathematical problems from applied logic II

Schetnye bulevy algebry i razreshimostʹ

I︠U︡riĭ Leonidovich Ershov

Prikladnai︠a︡ logika

Logicheskie voprosy teorii tipov dannykh

Prikladnye aspekty matematicheskoĭ logiki

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

Logika i semanticheskoe programmirovanie

Strukturnye algoritmicheskie svoĭstva vychislimosti

Matematicheskie modeli v informatike

Matematicheskie modeli i vychislitelʹnye struktury

Recursive Model Theory

Recursive Algebra, Analysis and Combinatorics

Countable Boolean algebras and decidability

1997

Konstruktivnye modeli

1999

Schetnye bulevy algebry

1988

Vvedenie v logiku i metodologii͡u︡ nauki

1994