Author: The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Support1 Ebooks by The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof … PDF English DRM €86.30 0 0 Checkout 0,00 × × × Change user language × ArabicGermanEnglishSpanishFrenchHindiIndonesianItalianMalayDutchPolishPortugueseRomanianRussianSwedishThaiTurkishUkrainianVietnameseChineseInternational Modal ×
