Da metamatematica aos modelos : uma análise da noção tarskiana de consequência - Severino, Giovanny Augusto (2021)
Orientador Prof. Dr. Evandro Luís Gomes.