Computable analysis and dierential equations (1970)

by O Aberth
Venue:In Intuitionism and Proof Theory, Studies in Logic and the Foundations of Mathematics