Girard J.-Y., Taylor P., Lafont Y.
Proofs and types, 1989 г.
ISBN: 0-521-37181-3

Файлы
Доступность и MD5 хэшФормат Размер
(md5 missing)djvu 1.37 мб