Constructive analysis with witnesses (2003)

by H Schwichtenberg
Venue:Proceedings of Marktoberdorf '03 Summer School