A Didactic Proposal for the Teaching of Mathematics Logic on APOS Theory. PadiUAQ 2017, 1 (1), 117-136.