Загрузка...
Applied proof theory proof interpretations and their use in mathematics
| Главный автор: | |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Heidelberg
Springer
2008
|
| Предметы: |
| Объем: | xix, 532p. |
|---|---|
| ISBN: | 9783540775324 |