Constructive mathematics in theory and programming practice (1999)

by D Bridges, S Reeves
Venue:Philosophia Mathematica