Church’s Thesis and the Conceptual Analysis of Computability (2007)

by Michael Rescorla
Venue:Notre Dame Journal of Formal Logic