Загрузка...
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
| Другие авторы: | |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Berlin:
Springer,
2008.
|
| Редактирование: | 1 |
| Серии: | Springer Monographs in Mathematics
|
| Предметы: |
| Опубликовано: | 2008. |
|---|---|
| Объем: | 534. |
| ISBN: | 978-3-540-77532-4 |