Constructive Analysis with Witnesses

by Helmut Schwichtenberg
Citations:4 - 1 self