Mutti, G. de S. L.; Matioli, C. E. R.; Silva, L. D. C. P. da; Klüber, T. E. O Logicismo, Intuicionismo E Formalismo Nas Licenciaturas Em Matemática Das Universidades Públicas paranaenses<br>Logicism, Intuitionism and Formalism: An Analysis of the Licentiations in Mathematics of the Public Universities Paraná. EMP 2019, 21.