Don't worry, I will try NOT to give a 120h course in mathematical logic which is just impossible without chalk & black board. But I will try to give some insights. I must think how to do it. It will help me, btw, to prepare my talk in Paris and Amsterdam so that any critics is welcome.
Ok! I'm very interested to hear it, and I'll let you know where I'm confused, and where I'm bored. :)