Resumos
Um convite à Teoria dos Conjuntos
Um convite à Teoria dos Conjuntos
Charles Morgan, UCL
![](https://www.google.com/images/icons/product/drive-32.png)
O jogo de Banach-Mazur
O jogo de Banach-Mazur
Marcelo Oliveira Dias, IME-UFBA
![](https://www.google.com/images/icons/product/drive-32.png)
Uma construção algébrica de uma Teoria de Conjuntos baseada nos números surreais
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
A Lógica Intuicionista de Brower-Heyting e seus modelos
Andreas B. M. Brunner, IME-UFBA
![](https://www.google.com/images/icons/product/drive-32.png)
Semântica Topológica para Lógicas Modais
Semântica Topológica para Lógicas Modais
Marlo Souza, IC-UFBA
![](https://www.google.com/images/icons/product/drive-32.png)
Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização
Hierarquia de Leibniz: novas classes de lógicas e a busca por uma formalização
Ugo Coutinho, IME-UFBA
![](https://www.google.com/images/icons/product/drive-32.png)
Sobre a Liberdade
Sobre a Liberdade
Henrique Antunes, FFCH-UFBA
![](https://www.google.com/images/icons/product/drive-32.png)