Paiola, P. H.; Feitosa, H. de A. Lógica Intuicionista I1 : Correção E Completude. C. Q. D. 2020, 17.