Stern J. <br/><br/>
Proceedings of the Herbrand Symposium 
/ by J.Stern 
 - New York  North Holland  1982 
 - 384p.