AVTOMATIČESKOJE OBRAZOVANIJE GIPOTEZ : MATEMATIČESKIJE OSNOVY OBŠČEJ TEORII - Hájek, Petr 1955- (Nauka, 1984)