News for hackers. Stuff that matters.

A comment on Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf].

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by fjfaase on Tuesday November 11, 2025 @06:12PM (#45894202)
Begriffsschift was the first formal notation for second order logic.
[ Parent | on HN ]

There are no comments on this comment yet.