Tópicos em Lógica de Primeira OrdemRodrigo Freire (2019)
An Introduction to Partially Ordered Structures and SheavesFrancisco Miraglia (2020)
Elementos de Lógica: Volume 1Enrique Hernández Manfredini (2026)