مؤلف: 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 ×