Springer Monographs in Mathematics
['Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction', 'Logical Foundations of Mathematics and Computational Complexity', 'Pavel Pudl', 'Springer Monographs in Mathematics']