TY  - BOOK
AU  - Stern J.
TI  - Proceedings of the Herbrand Symposium
PY  - 1982///
CY  - New York
PB  - North Holland
ER  -