Lógica no Avião

Tópicos em Lógica de Primeira OrdemRodrigo Freire (2019)

An Introduction to Partially Ordered Structures and SheavesFrancisco Miraglia (2020)