000 00633nam a2200241Ia 4500
003 OSt
005 20220912152903.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a32571
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(R1), M3.2-;1
100 _aSiekmann J
245 0 _aAutomation of reasopning
260 _aBerlin
_bSpringer-Verlag
_c1983
300 _ap.
_ccm.
700 _a Wrightson G
942 _hD65,8(B):(R1), M3.2-;1
_cTEXL
_2CC
999 _c92981
_d92981