This video discusses conjunction elimination and conjunction introduction in Fitch-style system.
No download links available.
