BookSee.org
Booksee.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_
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: