In general Logic is frequently a difficult issue for the most of students. Particularly theorems' proof and related deductive structures are hard to learn. Do you have the same opinion? Have you applied any specific approach to overcome that problem?
I'd appreciate you to share your experiences teaching this subject or your point of view on this regard.