Tecnicas de demostración de indecibilidad e inseparabilidad en teorías formales

Aquesta tesi apareix a les col·leccions següents