Initially I just wanted to write about propositional, first-order and second-order logics and make it a short article like the one on Jekyll. But then I got greedy. I want to dive in deeper. And not only that but I want to write about constructive logic, and outline its difference from classical logic. There are so much more on logic that I want to write about.

And that means there are a lot of undergrad & grad texts reading to do.