The logic of functional recursion. To appear (1995)

by Yiannis N Moschovakis
Venue:in the Proceedings of the International Congress for Logic, Methodoloy and the Philosophy of Science held in Florence