Logical foundations of mathematics and computational complexity a gentle introduction - Pudlak, Pavel (Springer Monographs in mathematics, 2013)