Avtomatičeskoje obrazovanije gipotez : Matematičeskije osnovy občej teorii - Hájek, Petr; Havránek, Tomáš (Nauka, 1984)