Hajek P Mechanizing hypothesis formation Mathematical foundations for a gneral theory. Hajek P; Havranek T - New York Springer Verlag 1978 - xv,396p. cm. Standard No.: 44494 Source: Textual Dewey Class. No.: R14, L8