Grundgesetze der Arithmetik begriffsschriftlich abgeleitet - Frege, Gottlob (Olms, 1962)