Proof theoretic equivalences between classical and constructive theories for analysis
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 78-142
- https://doi.org/10.1007/bfb0091896
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: