Lógicas abstratas e o primeiro teorema de Lindström - Almeida, Edgar Luis Bezerra de, 1976- (2013)
Orientador: Itala Maria Loffredo D'Ottaviano