Have you read TAPL? I bought the physical copy and found it 100% worth it. Really easy to work through, even with a layperson's understanding of math

[1] https://www.cis.upenn.edu/~bcpierce/tapl/