Автор: The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Підтримка1 Електронні книги від The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof … PDF Англійська DRM €86.30 0 0 закінчення роботи 0,00 × × × Змінення мови користувача × АрабськоюНімецькаАнглійськаІспанськаФранцузькийХіндіІндонезійськаІталійськаМалайськаГолландськаПольськаПортугальськаРумунськаросійськийШведськаТайськаТурецькаУкраїнськаВ’єтнамціКитайціInternational Modal ×