Proceedings of the Herbrand Symposium - Stern J. (New York North Holland, 1982)