TY  - BOOK
AU  - Stern,J  .
ED  - Proceeding of the herbrand symposium                                                                                                                                                                                                                           
TI  - Proceedings of the herbrand symposium : logic colloquium `81 / 
T2  - Studies in logic and the foundations of mathematics vol. 107, 
SN  - 0444864172
U1  - 511.3 
PY  - 1982///
CY  - Amsterdam : 
PB  - North-Holland Publishing  , 
KW  - LOGIC,SYMBOLIC AND MATHEMATICAL
N1  - NULL
ER  -