Po zakonam logiki /
Osnovanija matematičeskoj logiki.
Osnovanija vremennoj logiki /
Logičeskaja semantika i filosofskije osnovanija logiki /
Teorija obnaruženija, ocenok i moduljacii. Tom 2, Teorija nelinejnoj moduljacii /
Algoritmy vyčislenija ocenok i ich primenenije.
Logika norm /
Osnovanija aritmetiki
Osnovanija geometrii /
Osnovanija geometrii : učeb. posobije dlja vuzov /
Istorija logiki /
Teorija obnaruženija, ocenok i moduľacii. Tom 1. Teorija.
Matematičeskije osnovanija kvantovoj statistiki /
Osnovanija i fundamenty.
Osnovanija i fundamenty /
Osnovanija teorii množestv /
Osnovanija algebraičeskoj topologii /
Osnovanija i fundamenty. Vypusk 8 /
Osnovanija logiki ocenok /