Logical Foundations of Mathematics and Computational Complexityde Pavel PudlákMateriasMathematics, philosophyLogic, symbolic and mathematicalComputational complexityEdiciones (1)Logical Foundations of Mathematics and Computational Complexity (2016)Springer · ISBN 9783319342689Más obras de Pavel PudlákLogical Foundations of Mathematics and Computational Complexity