@mastersthesis{mastersthesis1429e7b4,
title   = {Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos},
author = {Mazak, Rene Pierre Maximilian Eduard and Loparic, Andrea Maria Altino de Campos},
year = {2010},
school = {Universidade de São Paulo}
}