Students' logical reasoning and mathematical proving of implications

Full text