автор: Thierry Coquand поддержка1 Электронные книги Thierry Coquand Thierry Coquand & Peter Dybjer: Types for Proofs and Programs … PDF английский DRM €58.04 0 0 касса 0,00 × × × Изменить язык пользователя × арабскийНемецкийанглийскийиспанскийФранцузскийхиндииндонезийскийитальянскиймалайскийнидерландский языкпольскийпортугальскийрумынскийрусскийшведскийтайскийтурецкийукраинецвьетнамскийкитайский языкInternational Modal ×
