По этой ссылке:
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.
Книга найдена на Осле.