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

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Elementary Statistics Using JMP

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

Юный радиолюбитель

 Автор:
Категория: civil, civil, hardware, hobby, hobby, oddjob
Размер книги: 9.12 Mb

Physical Chemistry

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

Color Of Twilight

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

Mirra

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