Osnovanija vremennoj logiki /
Osnovanija logiki ocenok /
Elementy matematičeskoj logiki /
Formirovanije matematičeskoj logiki.
Logičeskaja semantika i filosofskije osnovanija logiki /
Teoritičeskije primenenija metodov matematičeskoj logiki. 3 /
Problemy matematičeskoj logiki : složnost algoritmov i klassy vyčislimych funkcij : sbornik perevodov /
Metody algebry logiki v matematičeskoj fizike /
Outlines of a formalist philosophy of mathematic.
Osnovanija aritmetiki
Osnovanija geometrii /
Kratkij očerk istorii obščej i matematičeskoj logiki v Rosii.
Osnovanija i fundamenty.
Osnovanija i fundamenty /
Osnovanija teorii množestv /
Osnovanija algebraičeskoj topologii /
Osnovanija i fundamenty. Vypusk 8 /
Filosofskije osnovanija jestestvoznanija.
Osnovanija matematičeskoj logiki.