Slides

 

            Um convite à Teoria dos Conjuntos

Charles Morgan, UCL

Charles Morgan presentation slides SSA jan 2023 - teoria de conjuntos.pdf

        Lógica Intuicionista de 

Brouwer-Heyting e seus modelos

Andreas B. M. Brunner, IME-UFBA

apresentação_andreas_ufba_2023.pdf

 

            Feixes de Modelos e Relações de Independência

Charles Morgan, UCL

Charles Morgan presentation slides SSA jan 2023 - model theory sem pausas.pdf

 

            Sobre a Liberdade

Henrique Antunes, FFCH-UFBA

Henrique_UFBA-Semana_Tematica-2023.pdf