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