Author: Kleene Symposium University of Wisconsin--Madison 1978.