Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos - Freire, Alfredo Roque, 1990- (2019)
Orientador: Walter Alexandre Carnielli