000 00683nam a2200241Ia 4500
003 OSt
005 20220928124107.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a44494
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aR14, L8
100 _aHajek P
_9463342
245 0 _aMechanizing hypothesis formation
_b Mathematical foundations for a gneral theory.
260 _aNew York
_b Springer Verlag
_c1978
300 _axv,396p.
_ccm.
700 _a Havranek T
_9463343
942 _hR14, L8
_cTEXL
_2CC
999 _c776261
_d776261