Church’s thesis and the conceptual analysis of computability (2007)

by M Rescorla
Venue:Notre Dame Journal of Logic