Title: Foundations of Algorithms
Subjects: Algorithms, Constructive mathematics, Computational complexity