Normalisationssätze für intuitionistische Theorien mit Wahlfolgen.
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | tysk |
| Udgivet: |
Basel
1976
|
| Online adgang: | matching Alma Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%) |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 801903 | ||
| 007 | tu | ||
| 008 | 760101s1976 sz a b 000 0 ger | ||
| 041 | |a ger | ||
| 100 | 1 | |a Haberthuer, Rudolf | |
| 245 | 1 | 0 | |a Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. |
| 246 | 3 | |a HABERTHUER, Rudolf: | |
| 264 | 1 | |a Basel |c 1976 | |
| 300 | |a 71 S. |c 8° | ||
| 500 | |a D 171.685 -- HABERTHUER, Rudolf: -- Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. - Basel -- 1976.71 S.8° -- Basel, phil.Diss.1976. -- 1978! -- M. | ||
| 852 | |c D 171.685 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. Basel1976.71 S.8Basel,phil.Diss.1976.1978 M. |a signature: D 171.685 |a author: HABERTHUER, RudoIf |a published: 1978 | ||
| 856 | 2 | 2 | |u https://bibsearch.uibk.ac.at/Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. |y matching Alma Normalisationssätze für intuitionistische Theorien mit Wahlfolgen. (author 0.0%, title 100.0%, shelfmark 100.0%, overall 65.0%) |
| 999 | |z 65 |