On Church's formal theory of functions and functionals (1987)

by G Longo