Resumos

Um convite à Teoria dos Conjuntos

Charles Morgan, UCL

Charles1.pdf

O jogo de Banach-Mazur

Marcelo Oliveira Dias, IME-UFBA

Marcelo.pdf

Uma construção algébrica de uma Teoria de Conjuntos baseada nos números surreais

Dimi Rangel, IME-UFBA

A Lógica Intuicionista de Brower-Heyting e seus modelos

Andreas B. M. Brunner, IME-UFBA

Andreas.pdf

Semântica Topológica para Lógicas Modais

Marlo Souza, IC-UFBA

Marlo.pdf

Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização

Ugo Coutinho, IME-UFBA

Ugo Resumo.pdf

Sobre a Liberdade

Henrique Antunes, FFCH-UFBA

Henrique.pdf