Paiola, P. H., & Feitosa, H. de A. (2020). Lógica intuicionista I1 : correção e completude. C.Q.D. - Revista Eletrônica Paulista De Matemática, 17. Recuperado de https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239