Haeusler , Edward Hermann, e Luiz Carlos Pinheiro Dias Pereira. “The Rules-As Types Interpretations of Schröder-Heister’s Extension of Natural Deduction”. Manuscrito: Revista Internacional de Filosofia 22, no. 2 (outubro 31, 1999): 149–163. Acessado abril 25, 2024. https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666391.