@mastersthesis{mastersthesis5fefe517,
title   = {Lógica de topos e aplicações},
author = {Cahali, Arthur Francisco Schwerz and Mariano, Hugo Luiz},
year = {2019},
school = {Universidade de São Paulo}
}