Thomas, W. (1975). Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik.
Chicago-Zitierstil (17. Ausg.)Thomas, Wolfgang. Das Entscheidungsproblem Für Einige Erweiterungen Der Nachfolger-Arithmetik. 1975.
MLA-Zitierstil (9. Ausg.)Thomas, Wolfgang. Das Entscheidungsproblem Für Einige Erweiterungen Der Nachfolger-Arithmetik. 1975.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.