libcats.org

Главная →

Homotopy Type Theory. Univalent Foundations of Mathematics

Нет обложки

Homotopy Type Theory. Univalent Foundations of Mathematics

The Univalent Foundations Program

Скачать книгу бесплатно (pdf, 4.24 Mb)

Читать «Homotopy Type Theory. Univalent Foundations of Mathematics»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Популярные книги за неделю:

Блудницы Вавилона (Whores of Babylon)

Уотсон Иэн

Категория: Контркультура

496 Kb

В.Бекетов, К.Харченко. Измерения и испытания при конструировании и регулировке радиолюбительских антенн (djvu)

4.82 Mb

О.Д.Вальпа. Полезные схемы с применением микроконтроллеров и ПЛИС (djvu)

9.91 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

Основы естественной энергетики

Андреев Е.И.

Категория: Физика физические науки

3.28 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Английский школьникам. Тренажер по чтению. Буквы и звуки

Е. В. Русинова

12.41 Mb

Мануальная Терапия живота

Башняк

Категория: 1641060-Мануальная терапия

29.85 Mb

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

#10

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

Только что пользователи скачали эти книги:

Технология СБИС: В 2-х кн

Авторы: К.Пирс, А.Адамс, Л.Кац, Дж.Цай, Т.Сейдел, Д.Макгиллис. Под редакцией С.Зи. Перевод с английского.

Категория: радиоэлектроника

4.45 Mb

Авиационные приборы

Еремеев С.М., Шакиров З.В., Штофель С.Д.

Категория: Авиация, Приборы

7.73 Mb

Нагрудные знаки России

С. Б. Патрикеев, А. Д. Бойнович

Категория: info, guide, society, history, hobby, collection

13.34 Mb

Руководство для обучения токарей по металлу

Слепинин В.

Категория: 1662346-Металлорежущее оборудование и обработка

9.88 Mb

Самодельные автомобили 1966-2007

Категория: ХОББИ и РАЗВЛЕЧЕНИЯ, ХОББИ и РЕМЕСЛА, ТЕХНИКА

18.34 Mb

Народня освіта й виховання народу. Методи й цілі.

Галущинський М.

Категория: Держава (ідеологія, політика, право)

1.34 Mb

Системы диагностики. Коды неисправностей автомобилей. Практическое руководство

13.87 Mb

Нормы погрузки воинских грузов на автомобили и прицепы. (Имущество служб тыла и автотракторное)

1.84 Mb

Физическая космология

Пиблс П.(P.J.E.Peebles)

Категория: P_Physics, PGrc_Cosmology

7.61 Mb

#10

Black Hat Python: Python Programming for Hackers and Pentesters

Justin Seitz, 2015

Категория: Programming

10.04 Mb