Church’s thesis and principles for mechanisms. The Kleene Symposium (1980)

by Robin Gandy