Os teoremas de incompletude de Godel - Medeiros, Maria da Paz Nunes de (1994)
Orientador: Jose Alexandre D. Guerzoni