Mikroelektronnyje ustrojstva programmnogo i logičeskogo upravlenija.

SAPR sistem logičeskogo upravlenija /

Upravljajuščije matematičeskije mašiny /

Robočij-upravljajuščij-učenyj.

Upravljajuščije sistemy promyšlennych robotov /

Pravila logičeskogo dokazatel'stva.

Kategorial´nyj sintez logičeskogo znanija /

Mikroelektronnyje upravljajuščije vyčisliteľnije kompleksy : sistemnoje projektirovanije i konstruiorvanije /

Upravnenija smešannogo tipa.

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

Upravljajuščije mašiny i ich primenenije : učebnoje posobije /

Raspredelennyje upravljajuščije i vyčislitel´nyje sistemy /

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

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

Upravljajuščije vyčislitel'nyje mašiny v ASU technologičeskimi processami /

Matematičeskoje obespečenije EVM tipa M-20 /

Uravnenija smešannogo tipa /

Upravnenija tipa svertki /

Preobrazovanija tipa svertki /

Osvetliteli tipa CNII.

Upravljajuščije ustrojstva logičeskogo tipa /