On founding the theory of algorithms (1998)

by Yiannis N Moschovakis
Venue:Truth in mathematics