Avtomatičeskoje obrazovanije gipotez : matematičeskije osnovy obščej teorii - Hájek, Petr, 1940-2016 (Nauka, 1984)