Church’s thesis: A kind of reducibility axiom for constructive mathematics (1970)

by G Kreisel
Venue:In Intuitionism and Proof