The Kleene Symposium Proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisc., USA (North-Holland Publ.Comp., 1980)