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_
Популярные книги за неделю:

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

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

Древо жизни

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

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

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

Ли Брэкетт. Исчезновение венериан

 Автор:
Размер книги: 61 Kb

Number fields

 Автор:
Категория: M_Mathematics, MT_Number theory
Размер книги: 1.54 Mb

Whisper Always

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

My Big TOE - The Complete Trilogy

 Автор:
Размер книги: 1.26 Mb

Moody’s Anecdotes and Illustrations (Epub & Mobi)

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