Paiola PH, Feitosa H de A. Lógica intuicionista I1 : correção e completude. C. Q. D. [Internet]. 24º de fevereiro de 2020 [citado 13º de novembro de 2024];17. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239