TY  - BOOK
AU  - Hajek P
AU  -  Havranek T
TI  - Mechanizing hypothesis formation :  Mathematical foundations for a gneral theory.     
U1  - R14, L8 
PY  - 1978///
CY  - New York  
PB  -  Springer Verlag     
ER  -