Matematičeskaja logika /
Dokazateľstvo i ponimanije /
Matematičeskaja logika i teorija algoritmov.
Čto takoje matematičeskaja logika? /
Matematičeskaja logika. Dopolniteľnyje glavy.
Matematičeskaja logika i jeje primenenija : sbornik statej /
Dokazatel'stvo pravil'nosti programm /
Sbornik geometričeskich zadač na dokazateľstvo.
Zadači na dokazateľstvo po algebre.
Matematičeskaja logika v programmirovanii. : Matematičeskoje obespečenije EVM. Sbornik statej. /
Algoritmy vyvoda teorem metoda vektorovych funkcij Ljapunova.
Sbornik geometričeskich zadač na dokazateľstvo. : Posobije dlja učitelej. /
Algebra i matematičeskaja logika. Algebraičeskije issledovanija. Mežvedomstvennyj sbornik.
Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /
Sbornik zadač i teorem po teorii funkcij dejstvitel´nogo peremennogo : učebnoje posobije dlja pedagogičeskich institutov /
Matematičeskaja logika i materialističeskaja dialektika (problemy logiko-filosofskich osnovanij i obosnovanija teorij).
Logika /
Matematičeskaja logika i aumatičeskoje dokazateľstvo teorem.
Chov činčil pravých na mistrovské úrovni /