Diener, Hannes
-
Vol 3 (2011) - Articles
Constructive reverse investigations into differential equations
Details 8. [PDF] -
Vol 4 (2012) - Articles
The Vitali covering theorem in constructive mathematics
Details 7. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008