000 00688nam a2200241Ia 4500
003 OSt
005 20220928115759.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a44316
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aR14p1,N81, M2
100 _aStern J Ed.
_9446087
245 0 _aProceeding of the herbrand symposium.
260 _aNew York
_b North Holland Publishing
_c1982
300 _axi,384p.
_ccm.
490 _aStudies in logic and the foundations of mathematics.
942 _hR14p1,N81, M2
_cTEXL
_2CC
999 _c760925
_d760925