00778nam0-22002651i-450-990001298010403321000129801FED01000129801(Aleph)000129801FED0100012980120000920d1978----km-y0itay50------baengMechanizing Hypothesis FormationMathematical Foundations for a General Theoryby HAJEK P. and HAVRANEK T.Berlin [etc.]Springer-Verlag1978UniversitextHajek,Petr48949Hávranek,TomasITUNINARICAUNIMARCBK990001298010403321C-6-(24735MA1MA1Mechanizing Hypothesis Formation384221UNINAING01