Haeusler , E. H. e Pereira , L. C. P. D. . (1999) “The rules-as types interpretations of Schröder-Heister’s extension of natural deduction”, Manuscrito: Revista Internacional de Filosofia. Campinas, SP, 22(2), p. 149–163. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666391 (Acessado: 30 junho 2024).