Logical foundations of mathematics and computational complexity a gentle introduction - Pudlák, Pavel (Springer monographs in mathematics, 2013)