Teoria da Computabilidade, Turma 590, Horário: 3AB 5AB, Sala 999, prédio 32,
Prof.: Carlos A. Prolo.