I am further along in the journey, I have been learning formal verification/type theory and logic on my own. I think these two are excellent books, SF : Logica

I am further along in the journey, I have been learning formal verification/type theory and logic on my own. I think these two are excellent books, SF : Logical Foundations for the basics, SF: Verified Functional Algorithms. Unfortunately there is no royal road in type theory. This subject is incredibly demanding yet satisfying. Software foundations are excellent books to read even if you aren't interested in verification/program proof.