Можно скачать Lambek, Scott. Intr.high.ord.categor.logic : Lost & found

Печатать страницу | Печатать всю тему

Пред. тема | След. тема

Yuri Gendelman

Можно скачать Lambek, Scott. Intr.high.ord.categor.logic

30.05.2007, 05:10

Заслуженный участник

15/05/05
3445
USA

По этой ссылке: http://up.spbland.ru/files/07052918/ можно скачать книгу:
Introduction to higher order categorical logic
by J.Lambek, P.J.Scott
Cambridge University Press. 1986

Архив длинной в ~30Мб содержит pdf-файл (~34 Мб) и 5% recovery record.
Ссылка работает до 25 ноября 2007.
Книга найдена на Осле.

Страница 1 из 1

[ 1 сообщение ]

Модератор: Супермодераторы

Список форумов » Электронные книги » Lost & found

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Научный форум dxdy

Можно скачать Lambek, Scott. Intr.high.ord.categor.logic

Кто сейчас на конференции