TY  - BOOK
AU  - Stern J Ed.
TI  - Proceeding of the herbrand symposium
T2  - Studies in logic and the foundations of mathematics
U1  - R14p1,N81, M2 
PY  - 1982///
CY  - New York  
PB  -  North Holland Publishing    
ER  -