[cubefox]

That course looks like a great introduction!

(A small downside is, in my opinion, that is uses trees instead of a more classical sequential presentation in the style of Suppes and Kleene.

https://en.wikipedia.org/wiki/Natural_deduction#Different_pr...

Trees may be more elegant, but actual, informal proofs in mathematics are written sequentially. So I think trees defeat the purpose of "natural" deduction a bit. But that's complaining on a high level.)