2014 dxdy logo

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

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Можно скачать 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 сообщение ] 

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



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

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


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

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group