Begriffsschrift

"Begriffsschrift," which translates to "concept script" in English, is a formal language created by the German mathematician and philosopher Gottlob Frege. Introduced in his 1879 work of the same name, Begriffsschrift was one of the first attempts to provide a rigorous symbolic notation for logic and mathematics.