Teoria da Computação. Dep. Matemática Instituto Superior Técnico (em construção) Carlos Caleiro F. Miguel Dionísio Paula Gouveia João Rasga

Propriedades de fecho e redução computável Indecidibilidade Teoremas de hierarquia