4 points | by perihelions a day ago
1 comments
Begriffsschift was the first formal notation for second order logic.
Begriffsschift was the first formal notation for second order logic.