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