Paiola, Pedro Henrique, e Hércules de Araujo Feitosa. “Lógica Intuicionista I1 : Correção E Completude”. C.Q.D. - Revista Eletrônica Paulista de Matemática 17 (fevereiro 24, 2020). Acessado novembro 13, 2024. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239.