Friedrich Ludwig Gottlob Frege (1848–1925), a professor at Jena, devoted his work to the goal of establishing the logical foundations of arithmetic. He introduced symbols for the concepts — now widely used in logic — of assertion, negation, implication and existential and universal quantifier. (M 42679) _ _.