1 Kd6FXgfa (Springer Monographs in Mathematics) Pavel Pudlák (auth.)

Logical Foundations of Mathematics & Computational Complexity A Gentle Introduction-Springer International Publishing (2013)