Title: Ot algoritmov - k suzhdenii͡a︡m
Subjects: Algorithms, Constructive mathematics, Model theory