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