"Apresentação da ""Universidade do Pensamento"" no séc. XVII : intuicionismo cartesiano e formalismo leibniziano "