Constructive Analysis with Witnesses

by Helmut Schwichtenberg
Citations:3 - 1 self