Autore: Thierry Coquand Supporto1 Ebook di Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF Inglese DRM €58.04 0 0 Cassa 0,00 × × × Cambia la lingua dell'utente × AraboTedescoIngleseSpagnoloFranceseHindiIndonesianoItalianoMaleseOlandesePolaccoPortogheseRumenoRussoSvedeseTailandeseTurcoUcrainoVietnamitaCineseInternational Modal ×
