LEADER 00778nam0-22002651i-450-
001 990001298010403321
035   $a000129801
035   $aFED01000129801
035   $a(Aleph)000129801FED01
035   $a000129801
100   $a20000920d1978----km-y0itay50------ba
101  1$aeng
200 1 $aMechanizing Hypothesis Formation$eMathematical Foundations for a General Theory$fby HAJEK P. and HAVRANEK T.
210   $aBerlin [etc.]$cSpringer-Verlag$d1978
225 1 $aUniversitext
700  1$aHajek,$bPetr$048949
702  1$aHávranek,$bTomas
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001298010403321
952   $aC-6-(2$b4735$fMA1
959   $aMA1
996   $aMechanizing Hypothesis Formation$9384221
997   $aUNINA
DB    $aING01