Upravljajuščije ustrojstva logičeskogo tipa /

Mikroelektronnyje ustrojstva programmnogo i logičeskogo upravlenija.

Grafičeskije systémy SAPR /

Teorija častično uporjadočennych sistem.

Pravila logičeskogo dokazatel'stva.

Organizacija dialoga v SAPR /

Sapr v GPS /

Programmnoje obespečenije SAPR /

Sistemotechničeskije zadači sozdanija SAPR /

Kategorial´nyj sintez logičeskogo znanija /

Logičeskije upravlenija technologičeskimi processami. /

Projektirovanije baz dannych SAPR /

Inženernaja grafika v SAPR /

Sapr i avtomatizacija proizvodstva /

Vybor sostava programno-techničeskogo kompleksa SAPR /

Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /

Filosofskije voprosy logičeskogo analiza naučnogo znanija vypusk 3.

Filosofskije voprosy logičeskogo analiza naučnogo znanija vypusk 1

Dinamika sistem upravlenija manipuľjatorami /

Identifikacija sistem upravlenija /

Logičeskije upravlenija technologičeskimi processami. /

Logičeskoje upravlenije informacionnymi processami. /

Avtomatizacija projektirovanija složnych logičeskich struktur /

SAPR sistem logičeskogo upravlenija /

Teorija častično uporjadočennych sistem.

SAPR sistem logičeskogo upravlenija /