Computable functionals
Volume 42 / 1955
Fundamenta Mathematicae 42 (1955), 168-202
DOI: 10.4064/fm-42-1-168-202