000 00766nam a2200265Ia 4500
003 OSt
005 20220912144943.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a69908
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1)p1,N83, M4
100 _aRichter M M Ed.
111 _aColloquium on conputation and proof theory (1983 : Aachen)
245 0 _aProceeding on computation and proof theory
260 _aBerlin
_bSpringer Verlag
_c1984
300 _avi, 975p.
_ccm.
490 _aLecture notes in mathematics; 1104
650 _aStatistics
942 _hB:(R1)p1,N83, M4
_cTEXL
_2CC
999 _c19696
_d19696