Logical Foundations of Mathematics and Computational Complexity - PudlÃ¡k (Springer International Publishing, 2013)