000 00255nam a2200097 4500
008 160616s 000 0
245 _aProceedings of the Herbrand sysmposium / edited by J. Stern
500 _aB31 M82
942 _cBK
_2BK4635
080 _a510.6 PRO
999 _c4635
_d4635