Mechanizing hypothesis formation Mathematical foundations for a gneral theory. - Hajek P; Havranek T (New York Springer Verlag, 1978)