• Баловство: игры с материальной культурой

    • Store
  • Get directions
    Business hours
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Categories
Le Coq Art (EN)
+3

Le Coq Art (EN)

00253
$52
In stock
1
Product Details

Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions

490pp, 1.7 kg of Coq Art :)

Save this product for later
  • Track Orders
  • Favorites
  • Shopping Bag
  • Sign In
Display prices in: USD
Share Tweet Pin
© Баловство: игры с материальной культурой Report abuse