2017. A didactic proposal for the teaching of mathematics logic on APOS theory. PädiUAQ. 1, 1 (Apr. 2017), 117–136.