Revai Miklos - Eder, Zoltan, 1931- (A Mult magyar tudosai, 1972)