Issledovanija po teorii algoritmov i matematičeskoj logike.
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 /
Teorija algoritmov. /
Matematičeskoje issledovanija. Tom 6. Vyp.2 (20).
Spravočnaja kniga po matematičeskoj logike. Časť 1. Teorija mod...
Spravočnaja kniga po matematičeskoj logike. Časť 1. Teorija model.
Očerki po matematičeskoj teorii sistem /
Logik /
Logik.
Teoretičeskije osnovy i konstruirovanie čislennych algoritmov zadač matematičeskoj fiziki.
Lekcii po matematičeskoj teorii ustojčivosti /
Matematičeskoje issledovanija. Tom 5. Vyp. 1 (15).
Kniznica algoritmov 2.
Spravočnaja kniga po matematičeskoj logike. V 4-ch častjach. Tom 4. : Teorija dokazateľstv i konstruktivnaja matematika.
Issledovanija po prikladnoj teorii grafov.
Issledovanija po teorii algoritmov i matematičeskoj logike. Tom 2.
Trudy Matematičeskogo instituta imeni V. A. Steklova. 42, Teorija algorifmov /