Home›Books›Definability and computabilityDefinability and computabilityby I͡Uriĭ Leonidovich Ershov · 1996No description available.Definability theory (Mathematical logic)Computable functions