Mechanizing hypothesis formation :
mathematical foundations for a general theory /
P. Hájek, T. Havránek.
APA Citation
Hájek, P., Havránek, T. (1978). Mechanizing hypothesis formation: mathematical foundations for a general theory. Berlin: Springer-Verlag.
MLA Citation
Hájek, Petr, and Tomáš Havránek. Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Berlin: Springer-Verlag, 1978.
Warning: These citations may not always be complete (especially for serials).