Tese de Anderson Araújo

Uma abordagem modelo-teórica da computabilidade de Turing clássica