Zwei Normalisierungstheorema fvr die Peano-Arithmetik 1.Stufe und verwandte Kalküle : Diss. /
| Основен автор: | Mellis, Warner |
|---|---|
| Формат: | Книга |
| Език: | German |
| Публикувано: |
Köln :
Universität Köln,
1980.
|
| Налични ИМИ | Сигнатура: |
754II |
|---|