Москва : Наука, 1982
360 lk.
Kõvade kaantega ja rahuldavas korras endine raamatukogu raamat
Matemaatilise loogika käsiraamat: algoritmiteooria.