Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales - Gallego Castaño, Enrique. (Universidad Complutense de Madrid, Servicio de Publicaciones, 2001)