@inproceedings{inproceedingsee90c1ee,
title   = {O universo construtível de Godel},
author = {Aurichi, Leandro Fiorini and Abud, Zara Issa},
year = {2004},
publisher = {IME-USP},
booktitle   = {Simpósio Internacional de Iniciação Científica da USP}
}