On the de#nitions of computable real continuous functions (1957)

by A Grzegorczyk
Venue:Fund. Math