Logical foundations of mathematics and computational complexity a gentle introduction - Pudlak, Pavel (Cham Springer, 2013)
Keywords: Logic, Symbolic and mathematical; Computational complexity; Mathematics; Computer software