A Methodology for Teaching Logic-Based Skills to Mathematics Students - Cusmariu, Arnold (Symposion, 2016)