Email Record: Proceedings of the Herbrand symposium :