Problemas de uma semantica para a logica intuicionista de primeira ordem - Molina, Jorge Alberto (1992)
Orientador : Carlos Alberto Lungarzo