DMCA

Applied Foundations: Proof Mining in Mathematics

by Ulrich Kohlenbach