Загрузка...
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
| Другие авторы: | |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Berlin:
Springer,
2008.
|
| Редактирование: | 1 |
| Серии: | Springer Monographs in Mathematics
|
| Предметы: |
Kannur University
| Шифр: |
511.36 KOH/ |
|---|---|
| Копировать | Недоступно состояние Live" What does mean the status Live (working) |