Mechanizing hypothesis formation : mathematical foundations for a general theory / - Hájek, Petr. (Springer-Verlag,, 1978)