Dura Kurepa (1907-1993)