Churchs Thesis and Principles for Mechanisms, in: The Kleene Symposium, edited by (1980)

by Robin Gandy