Vega, H., and D. Silva. “THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXT”. DIALOGICA, vol. 17, no. 2, Dec. 2020, pp. 20-46, doi:10.56219/dialgica.v17i2.1521.