TY  - BOOK
TI  - Proceedings of the Herbrand sysmposium / edited by J. Stern
N1  - B31 M82
ER  -