Title: Logical Foundations of Mathematics and Computational Complexity
Subtitle: A Gentle Introduction (Springer Monographs in Mathematics)
Subjects: Symbolic and mathematical Logic, Mathematics of Algorithmic Complexity, Mathematics, Mathematical Logic and Foundations, Algorithm Analysis and Problem Complexity, Computer software, Logic, symbolic and mathematical, Computational complexity