Information and Knowledge A Constructive Type-theoretical Approach /
Збережено в:
| Автор: | |
|---|---|
| Співавтор: | |
| Формат: | Електронний ресурс eКнига |
| Мова: | Англійська |
| Опубліковано: |
Dordrecht :
Springer Netherlands,
2008.
|
| Серія: | Logic, Epistemology, and the Unity of Science ;
10 |
| Предмети: | |
| Онлайн доступ: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Фізичний опис: | digital. |
|---|---|
| ISBN: | 9781402061707 |
| DOI: | 10.1007/978-1-4020-6170-7 |