Constructive mathematics: a foundation for computable analysis (0)

by Douglas Bridges
Venue:Theoretical Computer Science