Logical foundations of mathematics and computational complexity a gentle introduction - Pudlák, Pavel (Springer, 2013)
Keywords: Mathematische Logik