Kurs:Einführung in die mathematische Logik/Peano-Halbring/Division mit Rest/Eindeutigkeit/Aufgabe/Aufgabereferenznummer

Aufgabe 13.22 (Einführung in die mathematische Logik (Osnabrück 2021))