Автор: Thierry Coquand Підтримка1 Електронні книги від Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF Англійська DRM €58.04 0 0 закінчення роботи 0,00 × × × Змінення мови користувача × АрабськоюНімецькаАнглійськаІспанськаФранцузькийХіндіІндонезійськаІталійськаМалайськаГолландськаПольськаПортугальськаРумунськаросійськийШведськаТайськаТурецькаУкраїнськаВ’єтнамціКитайціInternational Modal ×