Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. - Thomas, Wolfgang (Univ., Math. Fak., 1975)