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

    • Store
  • Get directions
    Business hours
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Categories
Homotopy Type Theory (HoTT) Vol. 1, 2
+3
+2

Homotopy Type Theory (HoTT) Vol. 1, 2

Store/Книги
SKU 00252
$42
On Sale
was $53 Save 21%
Bulk pricing available for quantities of 2 units or more
1
Buy more, save more
QuantityPrice per itemDiscount
2 items$3517% off
Save this product for later
Share this product with your friends
ShareSharePin it
Homotopy Type Theory (HoTT) Vol. 1, 2
Store/Книги
Product Details
Weight: 0.80 kg

Homotopy Type Theory (HoTT) is the most advanced programming language in the domain of intersection of several theories: algebraic topology, homological algebra, higher category theory, mathematical logic, and theoretical computer science. That is why it can be considered as a language of space, as it can encode any existent mathematics.

--
Hardcover books, made by hands :)

Show More
You May Also Like
Гарри Поттер и методы рационального мышления (HPMoR, 4 тома) - Крауд допечатка
Гарри Поттер и методы рационального мышления (HPMoR, 4 тома) - Крауд допечатка
Гарри Поттер и методы рационального мышления (HPMoR, 4 тома) - Крауд допечатка
$78.60
Практическое системное мышление. Учебник (2022)
Практическое системное мышление. Учебник (2022)
Практическое системное мышление. Учебник (2022)
$26
On Sale
Депортация
Депортация
Депортация
was $14
Save 34%
$9.30
Сангаку. Японская храмовая геометрия
Сангаку. Японская храмовая геометрия
Сангаку. Японская храмовая геометрия
$14.50
  • My Account
  • Track Orders
  • Favorites
  • Shopping Bag
Display prices in:USD
Share Share Pin
© Баловство: игры с материальной культурой Report abuse Cookie settings