"Handbook of Recursive Mathematics : Volume 1: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Iurii Leonidovich Ershov)