Computable functionals (1955)

by A Grzegorczyk
Venue:Fundamenta Mathematicae