Hola a todos, estoy estudiando Ingeniería Informática y necesito para la asignatura de Teoría de la computabilidad el enunciado y demostración del Teorema de Rice-Shapiro (no sólo el de Rice...) estoy harto de buscarlo por internet y lo único que he llegado a encontrar está en inglés, se inglés, pero estos temas son muy complicados para entenderlos en español, con que en inglés...
¿Alguien que lo conozca me puede facilitar esta información?, escanermelo, darme un enlace, ect...
Salu2, gracias.