Repository | People

150313

References

Pavel Filipec

Differentiation of constructive functions of a real variable and relative computability

1987

with Demuth Osvald

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link