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