21 citations to https://www.mathnet.ru/rus/smj3546

S.S. Goncharov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 261