I haven't had the pleasure of teaching this topic yet, but here are notes as and when I write them or get them.
Confused by types of formulae - look here.