Text this: DA INTERPRETAÇÃO INTUICIONISTA DE PROVA À REJEIÇÃO DO PRINCÍPIO DO TERCEIRO EXCLUÍDO