Computable functionals (1955)

by Andrzej Grzegorczyk
Venue:Fundamenta Mathematicae