Vega, H., & Silva, D. (2020). THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXT. DIALOGICA, 17(2), 20–46. https://doi.org/10.56219/dialgica.v17i2.1521