Mechanizing hypothesis formation : mathematical foundations for a general theory - Ha?jek, Petr (Springer, 1978)