Dissertação de Edgar Luis Bezerra de Almeida

Lógicas abstratas e o primeiro teorema de Lindström