Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik.
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | գերմաներեն |
| Հրապարակվել է: |
Freiburg (Breisgau)
Univ., Math. Fak.
1975
|
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2913092 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Thomas, Wolfgang | |
| 245 | 1 | 0 | |a Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. |
| 246 | 3 | |a Thomas, Wolfgang | |
| 264 | 1 | |a Freiburg (Breisgau) |b Univ., Math. Fak. |c 1975 | |
| 300 | |a 103 S. |c 8° | ||
| 500 | |a Thomas, Wolfgang -- Das Entscheidungsproblem für einige Erweiterungen -- der Nachfolger-Arithmetik. -- 1975. 103 S. 8° -- Freiburg (Breisgau), Univ., Math. Fak., Diss. -- 1975 | ||
| 852 | |c D 153.060 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Des Entscheidungsproblem für einige Erweiterungen der NachfolgerArithmetik.1975, 103 S, 8Frciburg Breisgau , Univ., Math. Fak., Diss. O7K975 |a author: Thomas, Wolfgang |a published: 1975 |