Gallego Castaño, Enrique (2004) Tecnicas de demostración de indecibilidad e inseparabilidad en teorías formales. Tesis PhD.