Logic in the Second Half of the Twentieth Century