Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik
Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik
Wolfgang Thomas
Details
OL Work ID
OL41127294W
Find this book
Open Library