Title: Issledovanii͡a︡ po matematicheskoĭ logike i teorii algoritmov =
First published: 1989
Subjects: Algorithms, Logic, Symbolic and mathematical
LC classification: T57 .T5 vol.35