...-definable functionals and ... Conversion.
Page 1
R. Statman (1983)
Archiv für mathematische Logik und Grundlagenforschung
Л.П. Кучко (1988)
Sibirskij matematiceskij zurnal
Pavel Galajda (1981)
Mathematica Slovaca
Pavel Galajda (1981)
Mathematica Slovaca
Ю.И. Кулаков (1983)
Zapiski naucnych seminarov Leningradskogo
В.И. Плотников, В.И. Сумин (1981)
Sibirskij matematiceskij zurnal
Page 1