Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones

Tesis doctoral de Elias Fernandez-combarro Alvarez En esta memoria se usan conceptos algebraicos para estudiar objetos de la teoria de […]

, , , , ,