Hájek, P., & Havránek, T. (1978). Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationHájek, Petr, and Tomáš Havránek. Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1978.
MLA (9th ed.) CitationHájek, Petr, and Tomáš Havránek. Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Springer Berlin Heidelberg, 1978.
Warning: These citations may not always be 100% accurate.