libcats.org
Главная →

Intuitionistic type theory

Обложка книги Intuitionistic type theory

Intuitionistic type theory

Martin-Loef P. An intuitionistic type theory (lectures, Padua, 1980, Bibliopolis, 1984)(ISBN 8870881059)(400dpi)(100s)(KA)_MAml_
Популярные книги за неделю:

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Фауна пещер Украины

 Автор:
Категория: Животные Справочник
Размер книги: 2.54 Mb

Aloha, Candy Hearts

 Автор:
Категория: fiction
Размер книги: 296 Kb

The Dodd Family Abroad, Vol. II. [of II]

 Автор:
Категория: fiction
Размер книги: 1.56 Mb

BeDeviled

 Автор:
Категория: fiction
Размер книги: 367 Kb

Mahu Surfer

 Автор:
Категория: fiction
Размер книги: 508 Kb

Gebroken raam

 Автор:
Категория: fiction
Размер книги: 487 Kb