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

Радиолюбительские конструкции

Вознюк В.В.

1.99 Mb

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

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

12.41 Mb

Система упражнений по развитию способностей человека (Практическое пособие)

Петров Аркадий Наумович

Категория: Путь к себе

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

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

Юджин Моник

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

3.37 Mb

#10

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

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

10.14 Mb

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

ЧИХНЁШЬ В ВОСКРЕСЕНЬЕ...

Нортон Андре, Хогарт Грейс Эллен

Категория: Детектив

359 Kb

Вот и кончилась вечность

Дарьялова Наталья

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

31 Kb

Александр Казанцев. Говорящий холст

34 Kb

Дениза Робинс. Распятое сердце [love]

294 Kb

Теория магнетизма

Маттис Д.

4.83 Mb

Бюджетирование в системе управления сельскохозяйственным предприятием(Диссертация)

Шадрин С.Н.

Категория: Диссертации авторефераты

9.95 Mb

Апокалипсис открытый

Сведенборг Эммануил

Категория: Философия

2.11 Mb

Зеленые рецепты

Винник И

Категория: ЗДОРОВЬЕ

4.50 Mb

От постмодернизма - к нелинейной архитектуре. Архитектура в контексте современной философии и науки

И. А. Добрицына

Категория: color, architect, society, culture

29.32 Mb

#10

Большой справочник инженера нефтегазодобычи. Бурение и закачивание скважин.

Лайонз У. (ред.)

20.16 Mb