Descrição:

Trata-se de um curso de preparação doutoral na área da Lógica Matemática para quem é confrontado com este tópico (a um nível pós-graduado) pela primeira vez.