libcats.org

Главная →

An intuitionistic type theory

An intuitionistic type theory

Per Martin-Lof

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

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

#1

Каникулы

Бредбери Рэй

13 Kb

#2

Михаил Нестеров. Инстинкт бойца

667 Kb

#3

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

#4

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

#5

Анализ результатов наблюдений. Разведочный анализ

Тьюки Дж.

17.33 Mb

#6

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

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

29.85 Mb

#7

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

#8

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

Юджин Моник

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

3.37 Mb

#9

Знаки и символы. Энциклопедия

Жорж Жан

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

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

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

#1

М.А.Бродский, С.С.Боровик. Телевизоры и их ремонт (1972, djvu)

7.31 Mb

#2

Кинетика гомогенных химических реакций

Денисов. Е.Т.

16.85 Mb

#3

Мир в зеркале культуры (Др. Месопотамия, др. Египет). Учебно-метод. пособие

Глебкин В.В.

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

963 Kb

#4

Основы государства и права

Комаров С.А.

Категория: Юридические науки учебная литература

453 Kb

#5

Упрочнение деталей машин поверхностной закалкой при индукционном нагреве

Шепеляковский К.З.

Категория: Радио

4.41 Mb

#6

Индукционные и силовые эффекты, вызванные движением носителя магнитного поля. Тангенциальная индукция и законы электромагнетизма

Ивченков Геннадий

Категория: Теоретическое естествознание

478 Kb

#7

Автомобильный справочник BOSCH'

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

131.89 Mb

#8

СЗД. Моторная коляска СЗД. Конструкция, эксплуатация и ремонт

1.82 Mb

#9

Силиконовый каучук

Категория: Полимеры

3.15 Mb

#10

Запретные тексты древних

Дион Грей

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

112.42 Mb