Silva, Geiza Maria Hamazaki da, e Edward Hermann Haeusler. 2010. “Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural”. Princípios: Revista De Filosofia (UFRN) 8 (10):25-61. https://periodicos.ufrn.br/principios/article/view/627.