Church's Thesis: Prelude to a Proof (1998)

by J Folina
Venue:Philosophia Mathematica