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