Mechanizing Hypothesis Formation Mathematical Foundations for a General Theory - Hájek, Petr (Universitext, 1978)