H. Vega and D. Silva, “THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXT”, DIALÓGICA, vol. 17, no. 2, pp. 20–46, Dec. 2020.