“Lógica Intuicionista I1 : Correção E Completude”. 2020. C.Q.D. - Revista Eletrônica Paulista De Matemática 17 (February). https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/239.