These are reveal.js versions of material from the Simply Logical book. These are currently still in beta, and also very wordy so more suitable for self-study.
Chapter 1
Chapter 2
Chapter 3