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