Text this: TABLÔS PARA A LÓGICA INTUICIONISTA I1