David Hilbert
David Hilbert in 1922 introduced the arrow symbol representing logical implication.