[senorsmile]

I had a similar thought process not long ago. I found this post from a 2 years ago: https://news.ycombinator.com/item?id=18757972

That's an entire book that is merely a guide on which other books to read and what to focus on in one's journey of formal logic.

I have started with the most intro book it recommends "How to Prove It : A Structured Approach by Daniel J. Velleman". It seems to be quite similar to whatever text book I used in the class that focused on logic in college. I intend to skip around a bit though as my real goal here is to be able to understand all of this advanced type theory that I keep seeing in the FP/Haskell/Idris world.