At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking.
In this expansion of Leary's user-friendly.
Esteto
Cartepedia
A friendly introduction to mathematical logic