Title: Definability and Computability (Siberian School of Algebra and Logic)
Subjects: Definability theory (Mathematical logic), Computable functions