@mastersthesis{mastersthesis581d9d59,
title   = {Uma prova de incompletude da aritmética baseada no teorema das definições recursivas},
author = {Vicente, Luciano and Loparic, Andréa Maria Altino de Campos},
year = {2008},
school = {Universidade de São Paulo}
}