Auteur: Thierry Coquand Ondersteuning1 Ebooks door Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF Engels DRM €58.04 0 0 Kassa 0,00 × × × Wijzig gebruikerstaal × ArabischDuitsEngelsSpaansFransHindiIndonesischItaliaansMaleisNederlandsPoolsPortugeesRoemeenseRussischZweedsThaisTurksOekraïensVietnameesChineseInternational Modal ×
