Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik.
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | saksa |
| Julkaistu: |
Freiburg (Breisgau)
Univ., Math. Fak.
1975
|
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Huomautukset: | Thomas, Wolfgang -- Das Entscheidungsproblem für einige Erweiterungen -- der Nachfolger-Arithmetik. -- 1975. 103 S. 8° -- Freiburg (Breisgau), Univ., Math. Fak., Diss. -- 1975 |
|---|---|
| Ulkoasu: | 103 S. 8° |