LIBROS DEL AUTOR: sergey goncharov

1 resultados para LIBROS DEL AUTOR: sergey goncharov

sergey goncharov Eliminar filtro Quitar filtros
  • Constructive Models
    Sergey Goncharov / Yuri L. Ershov
    The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal’tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and ...
    Disponible

    269,10 €