Issledovanija po teorii algoritmov i matematičeskoj logike. Tom 2.
Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /
Issledovanija po konstruktivnoj matematike i matematičeskoj logike 8. Sbornik rabot.
Sbornik zadač po matematičeskoj logike i algebre množestv /
Spravočnaja kniga po matematičeskoj logike. Časť 1. Teorija mod...
Spravočnaja kniga po matematičeskoj logike. Časť 1. Teorija model.
Logik /
Logik.
Teoretičeskije osnovy i konstruirovanie čislennych algoritmov zadač matematičeskoj fiziki.
Očerki po matematičeskoj teorii sistem /
Lekcii po matematičeskoj teorii ustojčivosti /
Formalizirovannyj i konstruktivistskij podchod k probleme istinnosti v matematičeskoj logike /
Teorija algoritmov. /
Knižnica algoritmov 4. diel 4. sympózium Algoritmy vo výpočtovej technike : 19.-22. 4. 1977 Vysoké Tatry-Štrbské Pleso
Teória algoritmov /