Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik | lit.salon