definable functionals and fij-conversion (1983)

by R Statman
Venue:Arch. Math. Logik