Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik
By: Wolfgang Thomas
Contributors: Universität Freiburg im Breisgau
Published: 1975
Language: ger
Number of pages: 103
Notes: Thesis (doctoral)--Albert-Ludwigs-Universität Freiburg im Breisgau, 1975.