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