Problemas indecidíveis - Lobo, Diana de Castro (2013)
Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra