Logical Foundations of Mathematics and Computational ComplexityA Gentle Introduction (Springer Monographs in Mathematics)de Pavel PudlákMateriasSymbolic and mathematical LogicMathematics of Algorithmic ComplexityMathematicsMathematical Logic and FoundationsAlgorithm Analysis and Problem ComplexityComputer softwareLogic, symbolic and mathematicalComputational complexityEdiciones (1)
