Girard J.-Y., Taylor P., Lafont Y.Proofs and types, 1989 г.
ISBN: 0-521-37181-3
| Доступность и MD5 хэш | Формат | Размер |
|---|---|---|
| (md5 missing) | djvu | 1.37 мб |
Girard J.-Y., Taylor P., Lafont Y.
| Доступность и MD5 хэш | Формат | Размер |
|---|---|---|
| (md5 missing) | djvu | 1.37 мб |