Church’s Thesis and Principles for Mechanics,” in The Kleene Symposium (1980)

by R O Gandy