Mechanizing hypothesis formation. Mathematical foundations for a general theory. - Hájek, Petr (Universitext, 1978)