Church’s thesis and principles for mechanism, in (1980)

by R Gandy
Venue:Kunen (Eds.), The Kleene Symposium, North-Holland