000 00273nam a22000977a 4500
082 _a511.3
_bHAJ.M
100 _aHajek, P
245 _aMechanizing hypothesis formations: Mathematical foundations for a general theory
260 _aBerlin
_bSpringer Verlag
_c1978
942 _cBK
999 _c211070
_d211070