Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1998.
|
| Серии: | Oxford logic guides ;
36. Oxford science publications. |
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Search Result 1
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Опубликовано 1998.
An electronic book accessible through the World Wide Web; click to view
Электронный ресурс
eКнига