Techniques of Constructive Mathematics (2006)

by D Bridges, L Vı̂ţă