3 points | by perihelions 12 hours ago ago
1 comments
Begriffsschift was the first formal notation for second order logic.
Begriffsschift was the first formal notation for second order logic.