Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet

GPTKB entity