Autor: Thierry Coquand Apoio1 Ebooks por Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF Inglês DRM €58.04 0 0 Confira 0,00 × × × Alterar idioma do usuário × ÁrabeAlemãoInglêsEspanholFrancêsHindiIndonésioItalianoMalaioHolandêsPolonêsPortuguêsRomenoRussoSuecoTailandêsTurcoUcranianoVietnamitaChinêsInternational Modal ×
