The Little Prover
![]() | paperback Категорія: Комп'ютери Програмування / Розробка програмного забезпечення Категорія: PDA / КПК Програмування Категорія: Розробка програмного забезпечення Категорія: веб-програмування Категорія: математична логіка MIT Press Ltd Наша ціна: 42.88 EUR (Ціна оновлена 20.10.2024) Безкоштовна доставка в Україну більше Читацькі коментарі та рецензії: Amazon |