TY  - BOOK
AU  - Hajek, P
TI  - Mechanizing hypothesis formations: Mathematical foundations for a general theory
U1  - 511.3 
PY  - 1978///
CY  - Berlin
PB  - Springer Verlag
ER  -