On founding the theory of algorithms (1998)

by Y N Moschovakis
Venue:In H. G. Dales & G. Oliveri (Eds.), Truth in mathematics (p