ERDŐS Imre Pál (1916 - 1987)