Second Thoughts about Church's Thesis and Mathematical Proofs (1990)

by E Mendelson
Venue:The Journal of Philosophy