Skip to content(if available)orjump to list(if available)

Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]

fjfaase

Begriffsschift was the first formal notation for second order logic.

jjgreen

Easier in LaTeX